Skip to content

Issues: ultimate-pa/smtinterpol

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

23 Open 93 Closed
23 Open 93 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

NullPointerException at DPLLEngine.java:782
#137 opened Oct 11, 2022 by daniel-larraz
2
Potential NPE in AnnotatedTerm.java
#123 opened Apr 27, 2021 by ErrReporter
2
Assertion error at Clausifier.java:1134 on LRA formula
#116 opened Sep 24, 2020 by rainoftime
(proof) Assertion error at FixResolutionProof.java:227
#115 opened Sep 24, 2020 by rainoftime
AssertionError in SmtInterpol(SmtInterpol other, ...) constructor.
#112 opened Aug 19, 2020 by Confectio
AssertionError at Clausifier.java:1022 (check-allsat)
#111 opened Jul 8, 2020 by rainoftime
1
AssertionError at DPLLEngine.java:1904 (check-allsat)
#110 opened Jul 7, 2020 by rainoftime
AssertionError at DPLLEngine.java:693 (check-allsat)
#109 opened Jul 7, 2020 by rainoftime
AssertionError at ProofTermGenerator.java:147 (check-allsat)
#108 opened Jul 7, 2020 by rainoftime
AssertionError at DPLLEngine.java:704 (check-allsat)
#107 opened Jul 7, 2020 by rainoftime
ArrayIndexOutOfBoundsException at ParseEnvironment.java:122 (check-allsat)
#106 opened Jul 7, 2020 by rainoftime
1
AssertionError at Interpolator.java:757 (incomplete fix)
#96 opened May 6, 2020 by rainoftime
1
AssertionError at DPLLEngine.java:1558
#91 opened Apr 26, 2020 by rainoftime
@jhoenicke
1
AssertionError at DPLLEngine.java:1567
#90 opened Apr 26, 2020 by rainoftime
@jhoenicke
1
AssertionError at EqualityProxy.java:105
#89 opened Apr 25, 2020 by rainoftime
AssertionError at DPLLEngine.java:1514 (incomplete fix)
#88 opened Apr 25, 2020 by rainoftime
@jhoenicke
ClassCastException on UF formula (get-proof)
#85 opened Apr 19, 2020 by rainoftime
@tanjaschindler
1
ClassCastException on NIA formula (produce-unsat-cores)
#82 opened Apr 18, 2020 by rainoftime
@tanjaschindler
NullPointerException for NIA and ALIA formulas (unsat-core)
#77 opened Apr 17, 2020 by rainoftime
@jhoenicke
3
Another AssertionError with check-sat-assuming
#40 opened Jan 29, 2019 by kfriedberger
1
C API
#31 opened Jul 12, 2017 by dddejan
1
AssertionError with check-sat-assuming
#29 opened Apr 5, 2017 by mskamp
2
Performance of FunctionSymbol.checkSort
#28 opened Mar 31, 2017 by stahlbauer
2
ProTip! Exclude everything labeled bug with -label:bug.