Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

Abstract

We report on highlights of the ACL2 enhancements introduced in ACL2 releases since the 2011 ACL2 Workshop. Although many enhancements are critical for soundness or robustness, we focus in this paper on those improvements that could benefit users who are aware of them, but that might not be discovered in everyday practice.

In Proceedings ACL2 2013, arXiv:1304.7123

References in corpus (2)

• Abstract Stobjs and Their Application to ISA Modeling
• How Can I Do That with ACL2? Recent Enhancements to ACL2

Cited by in corpus (2)

• Data Definitions in the ACL2 Sedan
• Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4