Issues

• ACL2 reader issues/odditites

  acl2/acl2#2089 · Filter by author bendyarm 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 · Filter by author jimwhite opened on Oct 18, 2026

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

  acl2/acl2#2078 · Filter by author jimwhite opened on Oct 18, 2026
  1

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

  acl2/acl2#1919 · Filter by author MattKaufmann opened on Mar 14, 2026
  2

• Website query strings can grow too long

  bugComponent: XDOC
  acl2/acl2#1914 · Filter by author gjurgensen opened on Mar 12, 2026
  1

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

  acl2/acl2#1906 · Filter by author jimwhite opened on Feb 12, 2026
  25

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

  acl2/acl2#1901 · Filter by author yaitskov opened on Jan 28, 2026
  1

• Allegro Common Lisp can't build all of Quicklisp

  acl2/acl2#1884 · Filter by author ericwhitmansmith opened on Jan 3, 2026
  1

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

  acl2/acl2#1845 · Filter by author copperteal opened on Sep 14, 2025
  1

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

  acl2/acl2#1833 · Filter by author mister-walter opened on Aug 29, 2025
  2

• Improve the pre-built distribution story for ACL2

  acl2/acl2#1616 · Filter by author mister-walter opened on Aug 7, 2024
  3

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

  acl2/acl2#1609 · Filter by author Lottie-ui opened on Jul 19, 2024
  4

• Improvements to ACL2 installation page

  acl2/acl2#1608 · Filter by author mister-walter opened on Jul 17, 2024
  7

• pattern-match requires import, says nothing about that

  acl2/acl2#1607 · Filter by author calebegg opened on Jul 16, 2024
  4

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

  acl2/acl2#1542 · Filter by author Lottie-ui opened on Sep 25, 2023
  1

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

  acl2/acl2#1539 · Filter by author Lottie-ui opened on Sep 13, 2023
  8

• Quicklisp books failure for CMUCL

  acl2/acl2#1532 · Filter by author MattKaufmann opened on Sep 5, 2023
  3

• x86isa instruction issues

  acl2/acl2#1528 · Filter by author bacam opened on Aug 27, 2023
  3

• preventing quicklisp bundle definition from reloading

  acl2/acl2#1508 · Filter by author bendyarm opened on Jul 2, 2023
  1

• preventing include-raw reloading

  acl2/acl2#1507 · Filter by author bendyarm opened on Jul 2, 2023
  5

• ACL2 books certification with SBCL on M1 Mac

  Priority: High
  acl2/acl2#1495 · Filter by author MattKaufmann opened on Jun 6, 2023
  7

• [Proposal] Improve doc and code links in doc

  acl2/acl2#1454 · Filter by author bendyarm opened on Jan 17, 2023
  10

• fty::deftagsum getting error in program mode

  acl2/acl2#1445 · Filter by author bendyarm opened on Nov 14, 2022
  2

• trace output gets error when certain lisp objects encountered

  acl2/acl2#1432 · Filter by author bendyarm opened on Sep 20, 2022
  4

• Quicklisp for ACL2 doesn't work with LispWorks 8.0

  acl2/acl2#1332 · Filter by author MattKaufmann opened on Dec 16, 2021
  1