• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Community
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
    • Theories
    • Rule-classes
    • Proof-builder
    • Recursion-and-induction
    • Hons-and-memoization
    • Events
    • Parallelism
    • History
    • Programming
    • Operational-semantics
    • Real
    • Start-here
      • Gentle-introduction-to-ACL2-programming
      • ACL2-tutorial
      • About-ACL2
        • Recursion-and-induction
        • Operational-semantics
        • Soundness
        • Release-notes
        • Workshops
        • ACL2-tutorial
        • Version
        • Acknowledgments
        • Using-ACL2
        • Releases
        • How-to-contribute
        • Pre-built-binary-distributions
        • Common-lisp
        • Installation
        • Mailing-lists
        • Git-quick-start
        • Copyright
        • ACL2-help
    • Miscellaneous
    • Output-controls
    • Bdd
    • Macros
    • Installation
    • Mailing-lists
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• About-ACL2

Releases

ACL2 releases

The current ACL2 release on the ACL2 home page is Version 8.6; see note-8-6 for release notes.

Below is a list of past releases and their corresponding past ACL2 home pages. (Note: Some older versions of the manuals have been made unreadable to avoid potential security issues.)

• Version 8.5 (July, 2022)
• Version 8.4 (August, 2021)
• Version 8.3 (April, 2020)
• Version 8.2 (May, 2019)
• Version 8.1 (September, 2018)
• Version 8.0 (December, 2017)
• 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)

Note: The ACL2 Home Pages for versions between 5.0 and 7.0, listed above, did not directly include the Community Books, which were distributed separately. You may find the books for those versions at http://acl2.org/books-pre-7.0/.