ACL2 Version 2.6 Patch Page

We have received reports of two soundness bugs in Version 2.6 of ACL2 as well as several earlier versions. Although both are unlikely to affect most users, we describe how they can do so in file bugs.html. We thank Francisco J. Martin-Mateos and Rob Sumners for their email reporting the two bugs, including concise examples and analysis.

You can choose any one of the following options in order to patch your copy of ACL2 Version 2.6.

We apologize for the inconvenience.


Matt Kaufmann
J Moore