ACL2 Releases
The current ACL2 release on the ACL2 home page
is Version 8.0 (December, 2017).
This page contains:
Incremental releases since Version 8.0 (if any)
Past releases
Caveat: some links in old material
may be broken. But we've endeavored to ensure that the ACL2 source
code is still available via the links so labeled.
None
- Version 7.4 (March, 2017)
- Version 7.3 (December, 2016)
- Version 7.2 (January, 2016)
- Version 7.1 (May, 2015)
- Version 7.0 (January, 2015)
- Version 6.5 (August, 2014)
- Version 6.4 (January, 2014)
- Version 6.3 (October, 2013)
- Version 6.2 (June, 2013)
- Version 6.1 (February, 2013)
- Version 6.0 (December, 2012)
- Version 5.0 (August, 2012)
- Version 4.3 (July, 2011)
- Version 4.2 (January, 2011)
- Version 4.1 (September, 2010)
- Version 4.0 (July, 2010)
- Version 3.6.1 (September, 2009)
- Version 3.6 (August, 2009)
- Version 3.5 (May, 2009)
- Version 3.4 (August, 2008)
- Version 3.3 (November, 2007)
- Version 3.2.1 (June, 2007)
- Version 3.2 (April, 2007)
- Version 3.1 (December, 2006)
- Version 3.0.1 (August, 2006)
- Version 3.0 (June, 2006)
- Version 2.9.4 (January, 2006)
- Version 2.9.3 (August, 2005)
- Version 2.9.2 (April, 2005)
- Version 2.9.1 (December, 2004)
- Version 2.9 (October, 2004)
- Version 2.8 (March, 2004)
- Version 2.7 (November, 2002)
- Version 2.6 (November, 2001)
- Version 2.5 (June, 2000)
- Version 2.4 (August, 1999)
- Version 2.3 (October, 1998)
- Version 2.2 (August, 1998)
- Version 2.1 (December, 1997)
- Version 2.0 (July, 1997)
- Version 1.9 (Fall, 1996)