8000 Issues · acl2/acl2 · GitHub

Repository navigation

Issues

New issue

ACL2 reader issues/odditites
acl2/acl2#2089 · opened on Oct 23, 2026
3
Milawa: failure of ALL-EQUALP-REMOVAL final check in level 9 due to multiple .proof file versions
acl2/acl2#2079 · opened on Oct 18, 2026
Milawa final-check.sh failure for DEFINITION-OF-NOT (Proofs/level4/admit-definition-of-not.proofs)
acl2/acl2#2078 · opened on Oct 18, 2026
1
Dependencies seem broken for book names containing the "=" character
acl2/acl2#1919 · opened on Mar 14, 2026
2
Website query strings can grow too long
acl2/acl2#1914 · opened on Mar 12, 2026
1
Non-ASCII ISO-8859-1 characters in comments are incompatible with UTF-8
acl2/acl2#1906 · opened on Feb 12, 2026
25
Highlighted :doc text is not readable on terminal with dark mode
acl2/acl2#1901 · opened on Jan 28, 2026
1
Allegro Common Lisp can't build all of Quicklisp
acl2/acl2#1884 · opened on Jan 3, 2026
1
ACL2 Bridge server hangs on (bridge::stop)
acl2/acl2#1845 · opened on Sep 14, 2025
1
XDoc: Plan for potential deprecation/removal of XSLT from browsers
acl2/acl2#1833 · opened on Aug 29, 2025
2
Improve the pre-built distribution story for ACL2
acl2/acl2#1616 · opened on Aug 7, 2024
3
About issue related to acl2/books/projects/arm/second/fdiv8/fdiv8.cpp.
acl2/acl2#1609 · opened on Jul 19, 2024
4
Improvements to ACL2 installation page
acl2/acl2#1608 · opened on Jul 17, 2024
7
pattern-match requires import, says nothing about that
acl2/acl2#1607 · opened on Jul 16, 2024
4
Is there an automated way to convert Cpp files into lisp files
acl2/acl2#1542 · opened on Sep 25, 2023
1
About books/projects/arm/second/fsqrt4/fsqrt4.cpp proof using ACL2
acl2/acl2#1539 · opened on Sep 13, 2023
8
Quicklisp books failure for CMUCL
acl2/acl2#1532 · opened on Sep 5, 2023
3
x86isa instruction issues
acl2/acl2#1528 · opened on Aug 27, 2023
3
preventing quicklisp bundle definition from reloading
acl2/acl2#1508 · opened on Jul 2, 2023
1
preventing include-raw reloading
acl2/acl2#1507 · opened on Jul 2, 2023
5
ACL2 books certification with SBCL on M1 Mac
acl2/acl2#1495 · opened on Jun 6, 2023
7
[Proposal] Improve doc and code links in doc
acl2/acl2#1454 · opened on Jan 17, 2023
10
fty::deftagsum getting error in program mode
acl2/acl2#1445 · opened on Nov 14, 2022
2
trace output gets error when certain lisp objects encountered
acl2/acl2#1432 · opened on Sep 20, 2022
4
Quicklisp for ACL2 doesn't work with LispWorks 8.0
acl2/acl2#1332 · opened on Dec 16, 2021
1

Navigation Menu

Repository navigation

Issues

Issues

ACL2 reader issues/odditites

Milawa: failure of `ALL-EQUALP-REMOVAL` final check in level 9 due to multiple .proof file versions

Milawa `final-check.sh` failure for DEFINITION-OF-NOT (Proofs/level4/admit-definition-of-not.proofs)

Dependencies seem broken for book names containing the "=" character

Website query strings can grow too long

Non-ASCII ISO-8859-1 characters in comments are incompatible with UTF-8

Highlighted :doc text is not readable on terminal with dark mode

Allegro Common Lisp can't build all of Quicklisp

ACL2 Bridge server hangs on `(bridge::stop)`

XDoc: Plan for potential deprecation/removal of XSLT from browsers

Improve the pre-built distribution story for ACL2

About issue related to acl2/books/projects/arm/second/fdiv8/fdiv8.cpp.

Improvements to ACL2 installation page

`pattern-match` requires import, says nothing about that

Is there an automated way to convert Cpp files into lisp files

About books/projects/arm/second/fsqrt4/fsqrt4.cpp proof using ACL2

Quicklisp books failure for CMUCL

x86isa instruction issues

preventing quicklisp bundle definition from reloading

preventing include-raw reloading

ACL2 books certification with SBCL on M1 Mac

[Proposal] Improve doc and code links in doc

fty::deftagsum getting error in program mode

trace output gets error when certain lisp objects encountered

Quicklisp for ACL2 doesn't work with LispWorks 8.0