ACL2 Releases

The current ACL2 release on the ACL2 home page is Version 8.0 (December, 2017).

This page contains:

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.

Incremental releases since Version 8.0:


Past releases: