Owner

acl2

1 indexiertes Repository · Auf GitHub ansehen

acl2
ACL2 System and Books as Maintained by the Community

Common Lisp · 447 Sterne

Offen Alle

Bisher 115 Issues indexiert

x86isa instruction issues Offen

acl2/acl2#1528 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Quicklisp books failure for CMUCL Offen

acl2/acl2#1532 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
About books/projects/arm/second/fsqrt4/fsqrt4.cpp proof using ACL2 Offen

acl2/acl2#1539 · 8 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Is there an automated way to convert Cpp files into lisp files Offen

acl2/acl2#1542 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
`pattern-match` requires import, says nothing about that Offen

acl2/acl2#1607 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Improvements to ACL2 installation page Offen

acl2/acl2#1608 · 7 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
About issue related to acl2/books/projects/arm/second/fdiv8/fdiv8.cpp. Offen

acl2/acl2#1609 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Improve the pre-built distribution story for ACL2 Offen

acl2/acl2#1616 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
XDoc: Plan for potential deprecation/removal of XSLT from browsers Offen

acl2/acl2#1833 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
ACL2 Bridge server hangs on `(bridge::stop)` Offen

acl2/acl2#1845 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Allegro Common Lisp can't build all of Quicklisp Offen

acl2/acl2#1884 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Highlighted :doc text is not readable on terminal with dark mode Offen

acl2/acl2#1901 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Non-ASCII ISO-8859-1 characters in comments are incompatible with UTF-8 Offen

acl2/acl2#1906 · 25 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Website query strings can grow too long Offen

bug Component: XDOC

acl2/acl2#1914 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Dependencies seem broken for book names containing the "=" character Offen

acl2/acl2#1919 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026

acl2

Neue Issues direkt in Ihr Postfach