[acl2/acl2] 9d95d3: Fixed a bug in directed-untranslate, by avoiding u...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 9d95d3e905081d8df0171fdd4e816fc29158030f
https://github.com/acl2/acl2/commit/9d95d3e905081d8df0171fdd4e816fc29158030f
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2018-04-19 (Thu, 19 Apr 2018)

Changed paths:
M books/kestrel/utilities/directed-untranslate.lisp

Log Message:
-----------
Fixed a bug in directed-untranslate, by avoiding untranslating (if x 't y) as (or x y) except when in a Boolean context.


Commit: 6b7996fd65130639a8d85bfaa019de199e6d93db
https://github.com/acl2/acl2/commit/6b7996fd65130639a8d85bfaa019de199e6d93db
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2018-04-19 (Thu, 19 Apr 2018)

Changed paths:
M books/kestrel/utilities/directed-untranslate.lisp
M books/workshops/2017/coglio-kaufmann-smith/support/simplify-defun-tests.lisp

Log Message:
-----------
Further fix for bug in directed-untranslate partially addressed in preceding commit.


Commit: 0d537cf851783343a096c06dd7c75e87ece82728
https://github.com/acl2/acl2/commit/0d537cf851783343a096c06dd7c75e87ece82728
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2018-04-20 (Fri, 20 Apr 2018)

Changed paths:
M books/projects/x86isa/machine/instructions/conditional.lisp
M books/projects/x86isa/machine/instructions/jump-and-loop.lisp
M books/projects/x86isa/machine/x86.lisp

Log Message:
-----------
Merge remote-tracking branch 'remotes/origin/master'


Compare: https://github.com/acl2/acl2/compare/ca86b1bfc3fc...0d537cf85178

[GitHub]

Branch: refs/heads/testing