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 6108 topics
possible ACL2 developer's workshop mattk 1/21/18
[acl2/acl2] a9652a: Critpath.pl -- add option to show only the paths f... noreply 1/19/18
quicklisp warnings mattk 1/19/18
[acl2/acl2] 50654d: Added :doc certify-book-debug. Fixed comment typo... noreply 1/17/18
[acl2/acl2] 5a5f7c: Change the cl-cache implementation to be a bit mor... noreply 1/17/18
[acl2/acl2] f323a6: Restore compilation and caching of tame compliant ... noreply 1/15/18
[acl2/acl2] 536641: Improved the copy-def utility. noreply 1/11/18
[acl2/acl2] 9ea50e: Enable 32-bit use of PUSH/POP g.p.r. in top-level ... noreply 1/10/18
[acl2/acl2] 5c03ce: Fixed defun redundancy to accommodate differences ... noreply 1/10/18
[acl2/acl2] eb3d2a: Extend 'POP general-purpose register' to 32-bit mo... noreply 1/9/18
[acl2/acl2] f1b485: Updated acl2-devel to-do list noreply 1/9/18
[acl2/acl2] 0155a1: Show :termination-theorem and :use-theorem in hint... noreply 1/8/18
[acl2/acl2] 61461c: Improve introductory documentation of X86ISA. noreply 1/8/18
changes I don't make under books/ mattk 1/8/18
[acl2/acl2] 96ca9c: Allow make-event expansion in a local context to s... noreply 1/7/18
[acl2/acl2] 3e0867: Fixed comment typo pointed out by Alessandro Cogli... noreply 1/7/18
[acl2/acl2] 1079be: Added existing pattern-matching utilities to the c... noreply 1/5/18
[acl2/acl2] c0f277: Added link to :doc checksum in :doc book-hash, as ... noreply 1/5/18
[acl2/acl2] 373301: Added extensive documentation (essentially written... noreply 1/5/18
[acl2/acl2] 87fc2f: Extend 'PUSH register' instruction to 32-bit mode. noreply 1/4/18
More topics »