ACL2 Releases

The current ACL2 non-incremental release on the ACL2 home page is Version 3.2 (April, 2006).

This page contains:


Incremental releases since the latest "past release" below:

  • Version 3.2.1 (June, 2007)
  • Past releases: