Propietario

acl2

1 repositorio indexado · Ver en GitHub

acl2
ACL2 System and Books as Maintained by the Community

Common Lisp · 447 estrellas

Abierto Todos

115 issues indexados hasta ahora

x86isa instruction issues Abierto

acl2/acl2#1528 · 3 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Quicklisp books failure for CMUCL Abierto

acl2/acl2#1532 · 3 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
About books/projects/arm/second/fsqrt4/fsqrt4.cpp proof using ACL2 Abierto

acl2/acl2#1539 · 8 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Is there an automated way to convert Cpp files into lisp files Abierto

acl2/acl2#1542 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
`pattern-match` requires import, says nothing about that Abierto

acl2/acl2#1607 · 4 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Improvements to ACL2 installation page Abierto

acl2/acl2#1608 · 7 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
About issue related to acl2/books/projects/arm/second/fdiv8/fdiv8.cpp. Abierto

acl2/acl2#1609 · 4 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Improve the pre-built distribution story for ACL2 Abierto

acl2/acl2#1616 · 3 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
XDoc: Plan for potential deprecation/removal of XSLT from browsers Abierto

acl2/acl2#1833 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
ACL2 Bridge server hangs on `(bridge::stop)` Abierto

acl2/acl2#1845 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Allegro Common Lisp can't build all of Quicklisp Abierto

acl2/acl2#1884 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Highlighted :doc text is not readable on terminal with dark mode Abierto

acl2/acl2#1901 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Non-ASCII ISO-8859-1 characters in comments are incompatible with UTF-8 Abierto

acl2/acl2#1906 · 25 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Website query strings can grow too long Abierto

bug Component: XDOC

acl2/acl2#1914 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Dependencies seem broken for book names containing the "=" character Abierto

acl2/acl2#1919 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026

acl2

Recibe los nuevos issues en tu correo