Skip to content

Issues: acl2/acl2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

108 Open 379 Closed
108 Open 379 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Improve the pre-built distribution story for ACL2
#1616 opened Aug 7, 2024 by mister-walter
2
About issue related to acl2/books/projects/arm/second/fdiv8/fdiv8.cpp.
#1609 opened Jul 19, 2024 by whitecloudsun
4
Improvements to ACL2 installation page
#1608 opened Jul 17, 2024 by mister-walter
7
pattern-match requires import, says nothing about that
#1607 opened Jul 16, 2024 by calebegg
4
Is there an automated way to convert Cpp files into lisp files
#1542 opened Sep 25, 2023 by whitecloudsun
1
About books/projects/arm/second/fsqrt4/fsqrt4.cpp proof using ACL2
#1539 opened Sep 13, 2023 by whitecloudsun
8
Quicklisp books failure for CMUCL
#1532 opened Sep 5, 2023 by MattKaufmann
2
x86isa instruction issues
#1528 opened Aug 27, 2023 by bacam
3
preventing quicklisp bundle definition from reloading
#1508 opened Jul 2, 2023 by bendyarm
1
preventing include-raw reloading
#1507 opened Jul 2, 2023 by bendyarm
5
ACL2 books certification with SBCL on M1 Mac Priority: High
#1495 opened Jun 6, 2023 by MattKaufmann
7
[Proposal] Improve doc and code links in doc
#1454 opened Jan 17, 2023 by bendyarm
10
fty::deftagsum getting error in program mode
#1445 opened Nov 14, 2022 by bendyarm
2
trace output gets error when certain lisp objects encountered
#1432 opened Sep 20, 2022 by bendyarm
4
Quicklisp for ACL2 doesn't work with LispWorks 8.0
#1332 opened Dec 16, 2021 by MattKaufmann
books/data-structures
#1193 opened Oct 4, 2020 by bendyarm
acl2::deflist bugs
#1192 opened Oct 4, 2020 by bendyarm
xdoc error on encapsulated DEFINE with local other-events and :progn t bug Community Component: STD Component: XDOC
#1176 opened Sep 2, 2020 by kini
Check keyword arguments in remove-hyps when it operates on a (thm ...) form
#1175 opened Sep 2, 2020 by airbornemihir
1
Improve integration of SULFA into the community books help wanted wishlist
#1162 opened Aug 3, 2020 by kini
9
cert.pl no_port behavior via environment variable
#890 opened Oct 4, 2018 by ericsmithkestrel
warnings should probably be errors for non-existing parents in xdoc topics Component: Docs
#873 opened Sep 12, 2018 by MattKaufmann
Distracting quicklisp warnings
#861 opened Jul 15, 2018 by MattKaufmann
13
Fix-up BOZOs in documentation Component: Docs Difficulty: Easy help wanted
#812 opened Jan 10, 2018 by ragerdl
Improve define's return-specs to support lazy hints Component: STD help wanted Starter wishlist
#790 opened Oct 31, 2017 by ragerdl
1
ProTip! Updated in the last three days: updated:>2025-04-11.