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 5932 topics
[acl2/acl2] 305508: Fixed proof-builder bug in rewrite (i.e., r) comma... noreply 1:05 PM
[acl2/acl2] c530d7: Slightly refactor term utilities. noreply 10/17/17
[acl2/acl2] bf2044: :Doc tweaks made in consultation with Eric Smith noreply 10/16/17
[acl2-books] Add b* to std::*std-exports* David Rager 10/16/17
[acl2/acl2] f99c6c: Fsubcor-var now comes up in guard-verified logic m... noreply 10/16/17
[acl2/acl2] a32c9f: Add missing ABNF grammar rule for SMTP. noreply 10/16/17
[acl2/acl2] b0f895: Add some tests for the recently added term utiliti... noreply 10/15/17
[acl2/acl2] f21310: Document ARGLISTP built-in system utility. noreply 10/15/17
[acl2/acl2] cf2a67: Slightly refactor an X86ISA file. noreply 10/13/17
next release mattk 10/13/17
[acl2/acl2] 400884: Improved magic-ev-fncall, added ev-fncall-w!, and ... noreply 10/13/17
[acl2/acl2] 18c2b2: Add some theorems to X86ISA. noreply 10/12/17
[acl2-books] Jenkins build acl2-multi-arith2 is green again! David Rager 10/12/17
[acl2/acl2] 2e511a: Updating documentation for defrstobj noreply 10/12/17
[acl2/acl2] caddbc: Adding some trivial paragraph tags noreply 10/12/17
[acl2/acl2] noreply 10/12/17
[acl2/acl2] eb5163: Another attempt at fixing multi build noreply 10/12/17
[acl2/acl2] d9c040: Merge pull request #782 from acl2/testing noreply 10/12/17
[acl2/acl2] 5820f7: Hack to attempt unbreaking multi jenkins build noreply 10/12/17
[acl2/acl2] 622a9f: Fixed an ACL2(p) error that I apparently introduce... noreply 10/12/17
More topics »