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 and generally have [acl2/acl2] in the title.  You may wish to configure your email software to filter these messages.

Showing 1-20 of 5612 topics
[acl2/acl2] 2f68e0: Documentation tweaks noreply 4/25/17
[acl2/acl2] a1fc09: aignet: improve axioms about abc interface noreply 4/25/17
[acl2/acl2] cf21dc: aignet reasoning improvements noreply 4/25/17
[acl2/acl2] 91fbc2: Add utilities for programmatic error checking. noreply 4/25/17
[acl2/acl2] 292d86: Sync doc.lisp noreply 4/23/17
[acl2/acl2] afc507: [x86isa] Strengthened some rules, etc. noreply 4/23/17
leeroy is down mattk 4/23/17
[acl2/acl2] 296aa9: Added two symbols missing from *acl2-exports*. (N... noreply 4/23/17
[acl2/acl2] 8c257b: Added register-invariant-risk. Made several impro... noreply 4/23/17
[acl2/acl2] 7f0ee2: Add utilities for named formulas. noreply 4/21/17
[acl2/acl2] 9671db: Removing basically empty book noreply 4/21/17
[acl2/acl2] ac36b0: added rtl/rel11/support/interval.lisp noreply 4/21/17
[acl2/acl2] 792f20: RTL: mbe implementation of rtl::expo . noreply 4/21/17
[acl2/acl2] df56e5: Case-match handles keywords in patterns. Sys-call... noreply 4/21/17
[acl2/acl2] 98d444: Fixed commit earlier today that added new release ... noreply 4/20/17
[acl2/acl2] dd7714: Updated :doc system-utilities based on discussions... noreply 4/20/17
[acl2/acl2] 70f30d: Add DOUBLETS-TO-ALIST utility. noreply 4/20/17
[acl2/acl2] a5a557: Moved the fm9001/ directory from the workshops/ di... noreply 4/20/17
[acl2/acl2] 4ef063: Added a sentence in :doc rule-classes following fe... noreply 4/20/17
[acl2/acl2] eaf563: Improved guard reasoning for nested stobjs (stobj-... noreply 4/19/17
More topics »