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

104 Open 378 Closed
104 Open 378 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

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
Hons efficiency in SBCL, hl-hspace-norm-aux Component: Hons Difficulty: Hard Priority: Medium
#728 opened May 28, 2017 by ragerdl
7
Manual does not show DEFINES function definitions bug Component: STD Component: XDOC
#656 opened Oct 15, 2016 by acoglio
Fixtype of lists of strings fails bug Component: FTY
#654 opened Oct 13, 2016 by acoglio
@solswords
7
ACL2(p) can hang when profiling Component: Parallelism
#638 opened Sep 7, 2016 by MattKaufmann
@ragerdl
6
ProTip! Adding no:label will show everything without a label.