[acl2/acl2] 75d816: GL: document uninterpreted function restrictions a...
0 views
Skip to first unread message
GitHub
Apr 18, 2018, 2:51:49 PM4/18/18
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 75d8163f3137a73efad41b7f18c3aac99a741a86
https://github.com/acl2/acl2/commit/75d8163f3137a73efad41b7f18c3aac99a741a86
Author: Sol Swords <ssw...@centtech.com>
Date: 2018-04-18 (Wed, 18 Apr 2018)
Changed paths:
M books/centaur/gl/def-gl-rewrite.lisp
M books/centaur/gl/glcp-templates.lisp
Log Message:
-----------
GL: document uninterpreted function restrictions and add a new version where the function can be expanded but not concretely executed
Home: https://github.com/acl2/acl2
Commit: 75d8163f3137a73efad41b7f18c3aac99a741a86
https://github.com/acl2/acl2/commit/75d8163f3137a73efad41b7f18c3aac99a741a86
Author: Sol Swords <ssw...@centtech.com>
Date: 2018-04-18 (Wed, 18 Apr 2018)
Changed paths:
M books/centaur/gl/def-gl-rewrite.lisp
M books/centaur/gl/glcp-templates.lisp
Log Message:
-----------
GL: document uninterpreted function restrictions and add a new version where the function can be expanded but not concretely executed
GitHub
Apr 18, 2018, 4:28:55 PM4/18/18
to acl2-...@googlegroups.com
Branch: refs/heads/master
Reply all
Reply to author
Forward
0 new messages