acl2-books

Email list for ACL2 and ACL2 Books development.

Note: There are separate email lists for general ACL2-related announcements, help, etc;
See the Mailing Lists link on the ACL2 Web Page for details.

Appropriate topics for this list include:

Note: This list receives automatic commit messages for the ACL2 Github project.  These messages come from noreply@github.com and generally have [acl2/acl2] in the title.  You may wish to configure your email software to filter these messages.



Showing 1-20 of 5806 topics
[acl2/acl2] ff1967: Improve X86ISA documentation. noreply 8/17/17
[acl2/acl2] 2f72c9: Improve :DOC compound-recognizer noreply 8/17/17
[acl2/acl2] 763733: Add several AIGNET transformations, including frai... noreply 8/17/17
[acl2/acl2] 14d07a: Change two backquotes to ordinary quotes, to work ... noreply 8/16/17
[acl2/acl2] 7056f0: Fixed bugs (one is probably soundness) in properly... noreply 8/16/17
[acl2/acl2] c9b887: Add a comment to the X86ISA model. noreply 8/16/17
[acl2/acl2] 28374b: Slightly improve some X86ISA documentation. noreply 8/15/17
[acl2/acl2] 1d76a0: Fix typo in X86ISA documentation. noreply 8/14/17
[acl2/acl2] c0b4e0: Fix typo in comment in X86ISA. noreply 8/14/17
[acl2/acl2] ee4511: [x86isa] prelim work for getting things ready for ... noreply 8/14/17
[acl2/acl2] b959a0: Made a relnotes entry for try-gl-concls noreply 8/12/17
[acl2/acl2] d2eb0b: Verify-termination no longer causes an error due t... noreply 8/11/17
[acl2/acl2] 4d71e8: Added try-gl-concls noreply 8/10/17
[acl2/acl2] 1b3aa7: Clarified comment in minimal-theory. noreply 8/9/17
[acl2/acl2] e48cd9: Reorder redefined system fns in hash-stobjs.lisp noreply 8/8/17
[acl2/acl2] ca69ec: Fixed a typo in an error message from translation ... noreply 8/7/17
[acl2/acl2] 9cc58d: Improve RESTRICT transformation. noreply 8/7/17
[acl2/acl2] 24b69e: Improve redundancy handling of APT transformations... noreply 8/6/17
[acl2/acl2] e47db4: Slightly improve documentation of RESTRICT and TAI... noreply 8/6/17
[acl2/acl2] 315399: removed books that comprise the fixers GL/SATLINK ... noreply 8/5/17
More topics »