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

#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

#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

#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

#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

#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

#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

#65 - AssertionError at theory.linar.LinArSolve.choose(LinArSolve.java:1776)

Issue - State: closed - Opened by rainoftime over 4 years ago - 3 comments

#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