[acl2/acl2] c15b1f: few additional theorems in bitops
0 views
Skip to first unread message
GitHub
Oct 8, 2015, 12:35:40 PM10/8/15
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: c15b1f9ab17a7de934824f43e62e8a85f6a94758
https://github.com/acl2/acl2/commit/c15b1f9ab17a7de934824f43e62e8a85f6a94758
Author: Sol Swords <ssw...@centtech.com>
Date: 2015-10-08 (Thu, 08 Oct 2015)
Changed paths:
M books/centaur/bitops/ihsext-basics.lisp
M books/centaur/bitops/integer-length.lisp
M books/centaur/misc/bound-rewriter.lisp
Log Message:
-----------
few additional theorems in bitops
Home: https://github.com/acl2/acl2
Commit: c15b1f9ab17a7de934824f43e62e8a85f6a94758
https://github.com/acl2/acl2/commit/c15b1f9ab17a7de934824f43e62e8a85f6a94758
Author: Sol Swords <ssw...@centtech.com>
Date: 2015-10-08 (Thu, 08 Oct 2015)
Changed paths:
M books/centaur/bitops/ihsext-basics.lisp
M books/centaur/bitops/integer-length.lisp
M books/centaur/misc/bound-rewriter.lisp
Log Message:
-----------
few additional theorems in bitops
Reply all
Reply to author
Forward
0 new messages