ACL2 Version 4.1 News

Table of Contents

ACL2 Books Repository

The acl2-books Google group allows you to contribute ACL2 books (input files), and also to update to the latest version if you don't want to wait for the next ACL2 release. Quoting from that web site:
This site is for community-driven development for the basic ACL2 libraries, which deal with topics like arithmetic, data structures, and hardware modelling. We're working with the authors of ACL2 and our changes are eventually incorporated into official ACL2 releases.

Performance Comparisons

Below are timing results for some of the pre-release testing.

32-bit Linux runs

Probably coming soon

64-bit Linux runs

Probably coming soon

ACL2 Course Materials

At some point, perhaps "ACL2 Course Materials" may be a top-level link on the ACL2 home page. For now, we provide some links.