• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • 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
          • Note-2-8
          • Note-2-7
          • Note-8-6
          • Note-8-2
          • Note-7-0
          • Note-8-5
          • Note-8-3
          • Note-8-1
          • Note-8-0
          • Note-7-1
          • Note-6-4
          • Note-2-9-3
          • Note-2-9-1
          • Note-8-4
          • Note-7-2
          • Note-6-5
          • Note-4-0
          • Note-2-9-2
          • Note-3-6
          • Note-3-3
          • Note-3-2-1
          • Note-3-0-1
          • Note-2-9-5
          • Note-2-5
          • Note-1-5
          • Note-6-1
          • Note-4-3
          • Note-4-2
          • Note-4-1
          • Note-3-5
          • Note-3-4
          • Note-3-2
          • Note-3-0-2
          • Note-2-9-4
          • Note-2-9
          • Note-1-8
          • Note-1-7
          • Note-1-6
          • Note-1-4
          • Note-1-3
          • Note-7-4
          • Note-7-3
          • Note-6-3
          • Note-6-2
          • Note-6-0
          • Note-5-0
          • Note-8-7
          • Note-1-9
          • Note-2-2
          • Note-1-8-update
          • Note-3-5(r)
          • Note-2-3
          • Release-notes-books
          • Note-3-6-1
          • Note-1-2
          • Note-2-4
          • Note-2-6
          • Note-2-0
          • Note-3-0
          • Note-3-2(r)
          • Note-2-7(r)
          • Note-1-1
          • Note-3-4(r)
          • Note-3-1
          • Note-2-8(r)
          • Note-2-1
          • Note-2-9(r)
          • Note-2-6(r)
          • Note-3-1(r)
          • Note-3-0(r)
          • Note-3-0-1(r)
          • Note-2-5(r)
          • Note-4-3(r)
          • Note-4-2(r)
          • Note-4-1(r)
          • Note-4-0(r)
          • Note-3-6(r)
          • Note-3-3(r)
          • Note-3-2-1(r)
        • Version
        • Acknowledgments
        • Pre-built-binary-distributions
        • Common-lisp
        • Git-quick-start
        • Copyright
        • Building-ACL2
        • ACL2-help
        • Bibliography
    • Debugging
    • Miscellaneous
    • Output-controls
    • Macros
    • Interfacing-tools
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• About-ACL2

Release-notes

Pointers to what has changed

This section of the online documentation contains notes on the changes that distinguish successive released versions of ACL2.

Each topic note-x-y is a note describing what in ACL2 version X.Y was new in comparison to the preceding version of ACL2.

The current version of ACL2 is the value of the constant (@ acl2-version).

Subtopics

Note-2-8

ACL2 Version 2.8 (March, 2004) Notes

Note-2-7

ACL2 Version 2.7 (November, 2002) Notes

Note-8-6

ACL2 Version 8.6 (October, 2024) Notes

Note-8-2

ACL2 Version 8.2 (May, 2019) Notes

Note-7-0

ACL2 Version 7.0 (January, 2015) Notes

Note-8-5

ACL2 Version 8.5 (July, 2022) Notes

Note-8-3

ACL2 Version 8.3 (April, 2020) Notes

Note-8-1

ACL2 Version 8.1 (September, 2018) Notes

Note-8-0

ACL2 Version 8.0 (December, 2017) Notes

Note-7-1

ACL2 Version 7.1 (May, 2015) Notes

Note-6-4

ACL2 Version 6.4 (January, 2014) Notes

Note-2-9-3

ACL2 Version 2.9.3 (August, 2005) Notes

Note-2-9-1

ACL2 Version 2.9.1 (December, 2004) Notes

Note-8-4

ACL2 Version 8.4 (August, 2021) Notes

Note-7-2

ACL2 Version 7.2 (January, 2016) Notes

Note-6-5

ACL2 Version 6.5 (August, 2014) Notes

Note-4-0

ACL2 Version 4.0 (July, 2010) Notes

Note-2-9-2

ACL2 Version 2.9.2 (April, 2005) Notes

Note-3-6

ACL2 Version 3.6 (August, 2009) Notes

Note-3-3

ACL2 Version 3.3 (November, 2007) Notes

Note-3-2-1

ACL2 Version 3.2.1 (June, 2007) Notes

Note-3-0-1

ACL2 Version 3.0.1 (August, 2006) Notes

Note-2-9-5

Changes in Version 3.0 since Version 2.9.4

Note-2-5

ACL2 Version 2.5 (June, 2000) Notes

Note-1-5

Acl2 Version 1.5 Notes

Note-6-1

ACL2 Version 6.1 (February, 2013) Notes

Note-4-3

ACL2 Version 4.3 (July, 2011) Notes

Note-4-2

ACL2 Version 4.2 (January, 2011) Notes

Note-4-1

ACL2 Version 4.1 (September, 2010) Notes

Note-3-5

ACL2 Version 3.5 (May, 2009) Notes

Note-3-4

ACL2 Version 3.4 (August, 2008) Notes

Note-3-2

ACL2 Version 3.2 (April, 2007) Notes

Note-3-0-2

ACL2 Version 3.0.2 (December, 2006) Notes

Note-2-9-4

ACL2 Version 2.9.4 (February, 2006) Notes

Note-2-9

ACL2 Version 2.9 (October, 2004) Notes

Note-1-8

ACL2 Version 1.8 (May, 1995) Notes

Note-1-7

ACL2 Version 1.7 (released October 1994) Notes

Note-1-6

Acl2 Version 1.6 Notes

Note-1-4

Acl2 Version 1.4 Notes

Note-1-3

Acl2 Version 1.3 Notes

Note-7-4

ACL2 Version 7.4 (March, 2017) Notes

Note-7-3

ACL2 Version 7.3 (December, 2016) Notes

Note-6-3

ACL2 Version 6.3 (October, 2013) Notes

Note-6-2

ACL2 Version 6.2 (June, 2013) Notes

Note-6-0

ACL2 Version 6.0 (December, 2012) Notes

Note-5-0

ACL2 Version 5.0 (August, 2012) Notes

Note-8-7

ACL2 Version 8.7 (xxx, 20xx) Notes

Note-1-9

ACL2 Version 1.9 (Fall, 1996) Notes

Note-2-2

ACL2 Version 2.2 (August, 1998) Notes

Note-1-8-update

ACL2 Version 1.8 (Summer, 1995) Notes

Note-3-5(r)

ACL2 Version 3.5(r) (May, 2009) Notes

Note-2-3

ACL2 Version 2.3 (October, 1998) Notes

Release-notes-books

Pointers to what has changed in the community books

Note-3-6-1

ACL2 Version 3.6.1 (September, 2009) Notes

Note-1-2

Acl2 Version 1.2 Notes

Note-2-4

ACL2 Version 2.4 (August, 1999) Notes

Note-2-6

ACL2 Version 2.6 (November, 2001) Notes

Note-2-0

ACL2 Version 2.0 (July, 1997) Notes

Note-3-0

ACL2 Version 3.0 (June, 2006) Notes

Note-3-2(r)

ACL2 Version 3.2(r) (April, 2007) Notes

Note-2-7(r)

ACL2 Version 2.7(r) (November, 2002) Notes

Note-1-1

Acl2 Version 1.1 Notes

Note-3-4(r)

ACL2 Version 3.4(r) (August, 2008) Notes

Note-3-1

ACL2 Version 3.1 (December, 2006) Notes

Note-2-8(r)

ACL2 Version 2.8(r) (March, 2003) Notes

Note-2-1

ACL2 Version 2.1 (December, 1997) Notes

Note-2-9(r)

ACL2 Version 2.9(r) (October, 2004) Notes

Note-2-6(r)

ACL2 Version 2.6(r) (November, 2001) Notes

Note-3-1(r)

ACL2 Version 3.1(r) (December, 2006) Notes

Note-3-0(r)

ACL2 Version 3.0(r) (June, 2006) Notes

Note-3-0-1(r)

ACL2 Version 3.0.1(r) (August, 2006) Notes

Note-2-5(r)

ACL2 Version 2.5(r) (June, 2000) Notes

Note-4-3(r)

ACL2 Version 4.3(r) (July, 2011) Notes

Note-4-2(r)

ACL2 Version 4.2(r) (January, 2011) Notes

Note-4-1(r)

ACL2 Version 4.1(r) (September, 2010) Notes

Note-4-0(r)

ACL2 Version 4.0(r) (July, 2010) Notes

Note-3-6(r)

ACL2 Version 3.6(r) (August, 2009) Notes

Note-3-3(r)

ACL2 Version 3.3(r) (November, 2007) Notes

Note-3-2-1(r)

ACL2 Version 3.2.1(r) (June, 2007) Notes