Owner

acl2

1 indexed repository · View on GitHub

acl2
ACL2 System and Books as Maintained by the Community

Common Lisp · 447 stars

Open All

115 issues indexed so far

x86isa instruction issues Open

acl2/acl2#1528 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Quicklisp books failure for CMUCL Open

acl2/acl2#1532 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
About books/projects/arm/second/fsqrt4/fsqrt4.cpp proof using ACL2 Open

acl2/acl2#1539 · 8 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Is there an automated way to convert Cpp files into lisp files Open

acl2/acl2#1542 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
`pattern-match` requires import, says nothing about that Open

acl2/acl2#1607 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Improvements to ACL2 installation page Open

acl2/acl2#1608 · 7 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
About issue related to acl2/books/projects/arm/second/fdiv8/fdiv8.cpp. Open

acl2/acl2#1609 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Improve the pre-built distribution story for ACL2 Open

acl2/acl2#1616 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
XDoc: Plan for potential deprecation/removal of XSLT from browsers Open

acl2/acl2#1833 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
ACL2 Bridge server hangs on `(bridge::stop)` Open

acl2/acl2#1845 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Allegro Common Lisp can't build all of Quicklisp Open

acl2/acl2#1884 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Highlighted :doc text is not readable on terminal with dark mode Open

acl2/acl2#1901 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Non-ASCII ISO-8859-1 characters in comments are incompatible with UTF-8 Open

acl2/acl2#1906 · 25 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Website query strings can grow too long Open

bug Component: XDOC

acl2/acl2#1914 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Dependencies seem broken for book names containing the "=" character Open

acl2/acl2#1919 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026

acl2

Get new issues in your inbox