Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ultimate-pa/smtinterpol issues and pull requests
#140 - add option for reproducible-resource-limit
Pull Request -
State: open - Opened by damien-zufferey-sonarsource over 1 year ago
#139 - Bad performance on simple long query
Issue -
State: open - Opened by kfriedberger almost 2 years ago
#138 - Missing right parenthesis in get-value response
Issue -
State: closed - Opened by daniel-larraz almost 2 years ago
- 2 comments
#137 - NullPointerException at DPLLEngine.java:782
Issue -
State: open - Opened by daniel-larraz almost 2 years ago
- 2 comments
#136 - AssertionError at ProofTermGenerator.java:161
Issue -
State: closed - Opened by daniel-larraz almost 2 years ago
- 1 comment
#135 - Some Proof fixes
Pull Request -
State: closed - Opened by jhoenicke over 2 years ago
#134 - External Proof-checker
Pull Request -
State: closed - Opened by jhoenicke over 2 years ago
#133 - Fix demo
Pull Request -
State: closed - Opened by schillic over 2 years ago
- 1 comment
#132 - Proof visualizer
Pull Request -
State: open - Opened by SteveFreecastler over 2 years ago
#131 - New low-level proof format
Pull Request -
State: closed - Opened by jhoenicke about 3 years ago
Labels: enhancement
#130 - Allow String in TermCompiler
Pull Request -
State: open - Opened by serras about 3 years ago
- 4 comments
#129 - Logics.ALL does not include string theory
Issue -
State: closed - Opened by serras about 3 years ago
- 5 comments
#128 - Web-Interface for SMTInterpol based on teavm
Pull Request -
State: closed - Opened by jhoenicke about 3 years ago
- 1 comment
#127 - Optimization: switch data structure from List to Set.
Pull Request -
State: closed - Opened by kfriedberger about 3 years ago
- 2 comments
#126 - NullPointerException in Interpolator.colorTermsInAssertions
Issue -
State: closed - Opened by kfriedberger over 3 years ago
- 1 comment
#125 - Triggered NPE in ParseEnvironment.java:122
Issue -
State: closed - Opened by ErrReporter over 3 years ago
#124 - Datatype support
Pull Request -
State: closed - Opened by jhoenicke over 3 years ago
#123 - Potential NPE in AnnotatedTerm.java
Issue -
State: open - Opened by ErrReporter over 3 years ago
- 2 comments
#122 - Assertion error at theory.cclosure.CCTerm.unshare(CCTerm.java:292)
Issue -
State: open - Opened by rainoftime almost 4 years ago
#121 - Quantifier instantiation
Pull Request -
State: closed - Opened by tanjaschindler almost 4 years ago
#120 - Muses
Pull Request -
State: closed - Opened by Confectio almost 4 years ago
#119 - Solution soundness issue on datatype formula
Issue -
State: open - Opened by rainoftime about 4 years ago
- 1 comment
#118 - Assertion error at QuantClause.java:325
Issue -
State: closed - Opened by rainoftime about 4 years ago
- 1 comment
#117 - Assertion error at SMTAffineTerm.java:83 on HORN formula
Issue -
State: open - Opened by rainoftime about 4 years ago
#116 - Assertion error at Clausifier.java:1134 on LRA formula
Issue -
State: open - Opened by rainoftime about 4 years ago
#115 - (proof) Assertion error at FixResolutionProof.java:227
Issue -
State: open - Opened by rainoftime about 4 years ago
#114 - (proof) Assertion error at CCTerm.java:311 on AUFLIA formula
Issue -
State: closed - Opened by rainoftime about 4 years ago
- 3 comments
#113 - Quantifier proofs
Pull Request -
State: closed - Opened by tanjaschindler about 4 years ago
#112 - AssertionError in SmtInterpol(SmtInterpol other, ...) constructor.
Issue -
State: open - Opened by Confectio about 4 years ago
#111 - AssertionError at Clausifier.java:1022 (check-allsat)
Issue -
State: open - Opened by rainoftime about 4 years ago
- 1 comment
#110 - AssertionError at DPLLEngine.java:1904 (check-allsat)
Issue -
State: open - Opened by rainoftime about 4 years ago
#109 - AssertionError at DPLLEngine.java:693 (check-allsat)
Issue -
State: open - Opened by rainoftime about 4 years ago
#108 - AssertionError at ProofTermGenerator.java:147 (check-allsat)
Issue -
State: open - Opened by rainoftime about 4 years ago
#107 - AssertionError at DPLLEngine.java:704 (check-allsat)
Issue -
State: open - Opened by rainoftime about 4 years ago
#106 - ArrayIndexOutOfBoundsException at ParseEnvironment.java:122 (check-allsat)
Issue -
State: open - Opened by rainoftime about 4 years ago
- 1 comment
#105 - AssertionError at Theory.java:586
Issue -
State: open - Opened by rainoftime over 4 years ago
#104 - AssertionError at Explainer.java:199
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#103 - NullPointerException at ParseEnvironment.java:122 (produce-models, model-check-mode)
Issue -
State: closed - Opened by rainoftime over 4 years ago
#102 - AssertionError at FixResolutionProof.java:227
Issue -
State: closed - Opened by rainoftime over 4 years ago
#101 - AssertionError at Explainer.java:151
Issue -
State: closed - Opened by rainoftime over 4 years ago
#100 - AssertionError at Clausifier.java:1120
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#99 - AssertionError at Clausifier.java:1918
Issue -
State: closed - Opened by rainoftime over 4 years ago
#98 - AssertionError at ArrayTheory.java:885
Issue -
State: closed - Opened by rainoftime over 4 years ago
#97 - Invalid model for real formulas (QF_UFLRA, QF_NRA, QF_AUFLRA)
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 4 comments
#96 - AssertionError at Interpolator.java:757 (incomplete fix)
Issue -
State: open - Opened by rainoftime over 4 years ago
- 1 comment
#95 - AssertionError at ProofChecker.java:521
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#94 - AssertionError at Clausifier.java:1114
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 2 comments
#93 - AssertionError at LinArSolve.java:676
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#92 - AssertionError at LinArSolve.java:677
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#91 - AssertionError at DPLLEngine.java:1558
Issue -
State: open - Opened by rainoftime over 4 years ago
- 1 comment
#90 - AssertionError at DPLLEngine.java:1567
Issue -
State: open - Opened by rainoftime over 4 years ago
- 1 comment
#89 - AssertionError at EqualityProxy.java:105
Issue -
State: open - Opened by rainoftime over 4 years ago
#88 - AssertionError at DPLLEngine.java:1514 (incomplete fix)
Issue -
State: open - Opened by rainoftime over 4 years ago
#87 - NullPointerException on QF_ALIA formula (produce-interpolants, interpolant-check-mode)
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 2 comments
#86 - Fail to identify the unsat core of NIA instance
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 3 comments
#85 - ClassCastException on UF formula (get-proof)
Issue -
State: open - Opened by rainoftime over 4 years ago
- 1 comment
#84 - NullPointerException on AUFBV formula (get-proof)
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#83 - Parsing error on unary clause
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 6 comments
#82 - ClassCastException on NIA formula (produce-unsat-cores)
Issue -
State: open - Opened by rainoftime over 4 years ago
#81 - AssertionError at EMatching.java:148
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#80 - AssertionError at DPLLEngine.java:1917
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#79 - AssertionError at DPLLEngine.java:1567
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#78 - AssertionError at DPLLEngine.java:1576
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#77 - NullPointerException for NIA and ALIA formulas (unsat-core)
Issue -
State: open - Opened by rainoftime over 4 years ago
- 3 comments
#76 - AssertionError at DPLLEngine.java:1523
Issue -
State: closed - Opened by rainoftime over 4 years ago
#75 - AssertionError at DPLLEngine.java:1875
Issue -
State: closed - Opened by rainoftime over 4 years ago
#74 - AssertionError at Interpolator.java:757
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#73 - ArrayIndexOutOfBoundsException for ALIA formula
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 2 comments
#72 - AssertionError at Interpolator.java:603
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#71 - NullPointerException or NegativeArraySizeException
Issue -
State: closed - Opened by danieldietsch over 4 years ago
- 1 comment
Labels: bug
#70 - ClassCastException for UF formula
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#69 - AssertionError at theory.cclosure.CClosure.removeCompareTrigger(CClosure.java:505)
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 3 comments
#68 - ClassCastException for NRA instances
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 2 comments
#67 - NullPointerException for NRA instances
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#66 - AssertionError at theory.quant.QuantifierTheory.checkpoint(QuantifierTheory.java:191)
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#65 - AssertionError at theory.linar.LinArSolve.choose(LinArSolve.java:1776)
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 3 comments
#64 - AssertionError at theory.quant.QuantifierTheory.computeConflictClause(QuantifierTheory.java:235)
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#63 - AssertionError at InstantiationManager.java:201
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#62 - NullPointerException
Issue -
State: closed - Opened by numairmansur over 4 years ago
- 1 comment
#61 - AssertionError in Clausifier.createLinVar
Issue -
State: closed - Opened by danieldietsch over 4 years ago
- 1 comment
Labels: bug
#60 - AssertionError in DPLLEngine.setLiteral
Issue -
State: closed - Opened by danieldietsch over 4 years ago
- 1 comment
Labels: bug
#59 - Errors in ant build
Issue -
State: closed - Opened by danieldietsch over 4 years ago
#58 - IndexOutOfBoundsException for incremental LIA instance
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
Labels: duplicate
#57 - NullPointerException for incremental UF instance
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#56 - ClassCastException for incremental UF and NRA instances
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 3 comments
#55 - NullPointerException for incremental LIA instance
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#54 - NullPointerException for BV instance
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#53 - NullPointerException for incremental NIA instance
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
#52 - IndexOutOfBoundsException for incremental NIA instance
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
Labels: bug, duplicate
#51 - ClassCastException for incremental NRA instance
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 1 comment
Labels: duplicate
#50 - NullPointerException for several quantified instance( incremental mode)
Issue -
State: closed - Opened by rainoftime over 4 years ago
- 8 comments
Labels: bug
#49 - SharedTerm rewrite
Pull Request -
State: closed - Opened by jhoenicke over 4 years ago
#48 - ClassCastException from check-sat-assuming with annotated term.
Issue -
State: closed - Opened by kfriedberger almost 5 years ago
- 2 comments
#47 - :quotedLA leaks in some cases
Issue -
State: closed - Opened by danieldietsch about 5 years ago
Labels: bug
#45 - add WrapperScript to Library-SMTLIB and let LoggingScript extend it
Pull Request -
State: closed - Opened by danieldietsch about 5 years ago
- 1 comment
#41 - Datatypes
Pull Request -
State: closed - Opened by Joanna69 over 5 years ago
- 1 comment
#40 - Another AssertionError with check-sat-assuming
Issue -
State: open - Opened by kfriedberger over 5 years ago
- 1 comment
#29 - AssertionError with check-sat-assuming
Issue -
State: open - Opened by mskamp over 7 years ago
- 2 comments
#27 - Simple solving with assumptions sends SMTInterpol into a loop
Issue -
State: closed - Opened by cheshire over 7 years ago
- 6 comments
#17 - Simple file sends SMTInterpol into a loop
Issue -
State: closed - Opened by agacek over 8 years ago
- 3 comments