[acl2/acl2] 75d840: Improved directed-untranslate for executability of...
0 views
Skip to first unread message
GitHub
Jun 13, 2017, 10:35:50 PM6/13/17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 75d84036b7dc383cad274312e0745d9c4d49f9be
https://github.com/acl2/acl2/commit/75d84036b7dc383cad274312e0745d9c4d49f9be
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/kestrel/utilities/directed-untranslate-tests.lisp
M books/kestrel/utilities/directed-untranslate.lisp
A books/kestrel/utilities/make-executable.lisp
M books/kestrel/utilities/top.lisp
M books/workshops/2017/coglio-kaufmann-smith/support/simplify-defun.lisp
Log Message:
-----------
Improved directed-untranslate for executability of the result by inserting mv-list calls.
Home: https://github.com/acl2/acl2
Commit: 75d84036b7dc383cad274312e0745d9c4d49f9be
https://github.com/acl2/acl2/commit/75d84036b7dc383cad274312e0745d9c4d49f9be
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/kestrel/utilities/directed-untranslate-tests.lisp
M books/kestrel/utilities/directed-untranslate.lisp
A books/kestrel/utilities/make-executable.lisp
M books/kestrel/utilities/top.lisp
M books/workshops/2017/coglio-kaufmann-smith/support/simplify-defun.lisp
Log Message:
-----------
Improved directed-untranslate for executability of the result by inserting mv-list calls.
GitHub
Jun 13, 2017, 10:37:15 PM6/13/17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages