オーナー

acl2

索引済みのリポジトリ 1 件 · GitHub で見る

acl2
ACL2 System and Books as Maintained by the Community

Common Lisp · スター 447 個

オープンすべて

これまでに 115 件の issue を索引しました

x86isa instruction issues オープン

acl2/acl2#1528 · コメント 3 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
Quicklisp books failure for CMUCL オープン

acl2/acl2#1532 · コメント 3 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
About books/projects/arm/second/fsqrt4/fsqrt4.cpp proof using ACL2 オープン

acl2/acl2#1539 · コメント 8 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
Is there an automated way to convert Cpp files into lisp files オープン

acl2/acl2#1542 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
`pattern-match` requires import, says nothing about that オープン

acl2/acl2#1607 · コメント 4 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
Improvements to ACL2 installation page オープン

acl2/acl2#1608 · コメント 7 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
About issue related to acl2/books/projects/arm/second/fdiv8/fdiv8.cpp. オープン

acl2/acl2#1609 · コメント 4 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
Improve the pre-built distribution story for ACL2 オープン

acl2/acl2#1616 · コメント 3 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
XDoc: Plan for potential deprecation/removal of XSLT from browsers オープン

acl2/acl2#1833 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
ACL2 Bridge server hangs on `(bridge::stop)` オープン

acl2/acl2#1845 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
Allegro Common Lisp can't build all of Quicklisp オープン

acl2/acl2#1884 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
Highlighted :doc text is not readable on terminal with dark mode オープン

acl2/acl2#1901 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
Non-ASCII ISO-8859-1 characters in comments are incompatible with UTF-8 オープン

acl2/acl2#1906 · コメント 25 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
Website query strings can grow too long オープン

bug Component: XDOC

acl2/acl2#1914 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引
Dependencies seem broken for book names containing the "=" character オープン

acl2/acl2#1919 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 · 2026年9月13日に索引

acl2

新しい issue をメールで受け取る