Propriétaire

acl2

1 dépôt indexé · Voir sur GitHub

acl2
ACL2 System and Books as Maintained by the Community

Common Lisp · 447 étoiles

Ouverte Toutes

115 issues ouvertes indexées

x86isa instruction issues Ouverte

acl2/acl2#1528 · 3 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Quicklisp books failure for CMUCL Ouverte

acl2/acl2#1532 · 3 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
About books/projects/arm/second/fsqrt4/fsqrt4.cpp proof using ACL2 Ouverte

acl2/acl2#1539 · 8 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Is there an automated way to convert Cpp files into lisp files Ouverte

acl2/acl2#1542 · 1 commentaire · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
`pattern-match` requires import, says nothing about that Ouverte

acl2/acl2#1607 · 4 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Improvements to ACL2 installation page Ouverte

acl2/acl2#1608 · 7 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
About issue related to acl2/books/projects/arm/second/fdiv8/fdiv8.cpp. Ouverte

acl2/acl2#1609 · 4 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Improve the pre-built distribution story for ACL2 Ouverte

acl2/acl2#1616 · 3 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
XDoc: Plan for potential deprecation/removal of XSLT from browsers Ouverte

acl2/acl2#1833 · 2 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
ACL2 Bridge server hangs on `(bridge::stop)` Ouverte

acl2/acl2#1845 · 1 commentaire · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Allegro Common Lisp can't build all of Quicklisp Ouverte

acl2/acl2#1884 · 1 commentaire · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Highlighted :doc text is not readable on terminal with dark mode Ouverte

acl2/acl2#1901 · 1 commentaire · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Non-ASCII ISO-8859-1 characters in comments are incompatible with UTF-8 Ouverte

acl2/acl2#1906 · 25 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Website query strings can grow too long Ouverte

bug Component: XDOC

acl2/acl2#1914 · 1 commentaire · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Dependencies seem broken for book names containing the "=" character Ouverte

acl2/acl2#1919 · 2 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026

acl2

Recevez les nouvelles issues par e-mail