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 5218 topics
[acl2/acl2] 71c86f: Show NIL subgoals in checkpoint summaries. It is ... noreply 12:52 PM
[acl2/acl2] 29e1c6: Fixed :doc good-bye to reflect preceding commit. noreply 7:27 AM
[acl2/acl2] b9b118: Allow non-formals in defstub output signature. Al... noreply 5:57 AM
[acl2/acl2] 009b27: Fixed error message from (defattach f g) when f is... noreply 8/24/16
[acl2/acl2] 27d358: Fix some warnings from the byte compiler reported ... noreply 8/24/16
[acl2/acl2] 5dcced: Allow rewriting of calls of IF. noreply 8/23/16
[acl2/acl2] 990521: Fixed check-acl2-exports by excluding near-misses ... noreply 8/23/16
[acl2/acl2] e831c2: Fixed over-aggressive checking for untouchable fun... noreply 8/23/16
[acl2/acl2] ce4a37: x86isa: Obtained a nicer top-level theorem for dat... noreply 8/21/16
[acl2/acl2] d9901b: Fixed bugs in iprinting with brr: "Slow Array Acce... noreply 8/21/16
[acl2/acl2] 668a85: For xdoc::order-subtopics, changed syntax for spec... noreply 8/20/16
[acl2/acl2] d149ca: Misc. defun-sk improvement include support for dec... noreply 8/19/16
[acl2/acl2] e0857f: Add a :PRED option to STD::DEFAGGREGATE. noreply 8/19/16
[acl2/acl2] 1ce827: Extended xdoc::order-subtopics to allow children t... noreply 8/18/16
[acl2/acl2] 41b7c3: Avoid vertical bars when printing certain symbols ... noreply 8/17/16
[acl2/acl2] cbb135: VL: Revamped the addnames transform so that it com... noreply 8/17/16
[acl2/acl2] 70cef2: GL: improved symbolic exec performance of < for (<... noreply 8/15/16
[acl2/acl2] f74a46: bitops/merge: add theorems showing specific merges... noreply 8/15/16
[acl2/acl2] 5ab080: x86isa: Added functions to read/write 6 and 10 byt... noreply 8/11/16
[acl2/acl2] 1779c4: add a book containing theorems (un)signed-byte-p-b... noreply 8/11/16
More topics »