Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1
Matt Kaufmann (University of Texas at Austin), J Strother Moore, (University of Texas at Austin)
TL;DR
This paper reviews key enhancements to ACL2 in versions 5.0, 6.0, and 6.1, emphasizing improvements that benefit users but may not be immediately obvious in daily use.
Contribution
It documents specific updates in ACL2 versions 5.0 to 6.1 that improve usability and discoverability of features for practitioners.
Findings
Enhanced robustness and soundness features
New user-facing improvements in ACL2 versions 5.0-6.1
Some enhancements are subtle but beneficial for users
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBluetooth and Wireless Communication Technologies · Digital Rights Management and Security · Digital Accessibility for Disabilities