projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix bad cast in the python API (#7359)
[cvc5.git] / test /
2021-10-15 Alex OzdemirFix bad cast in the python API (#7359) tree | commitdiff
2021-10-15 Andrew ReynoldsFix issues related to proofs of lemmas with duplicate... tree | commitdiff
2021-10-14 Andrew ReynoldsAdd regressions for fixed issues (#7369) tree | commitdiff
2021-10-14 Gereon KremerImprove ManagedStreams (#7367) tree | commitdiff
2021-10-14 Andrew ReynoldsAdd regression for fixed issue (#7365) tree | commitdiff
2021-10-14 Andrew ReynoldsFix quantifiers variable elimination for parametric... tree | commitdiff
2021-10-11 Aina NiemetzRename SmtScope to SolverEngineScope. (#7284) tree | commitdiff
2021-10-11 Andrew ReynoldsConnect the LFSC printer (#7323) tree | commitdiff
2021-10-07 Andrew ReynoldsMove preprocessor to smt solver (#7321) tree | commitdiff
2021-10-07 Gereon KremerAdd new versioning scheme (#7253) tree | commitdiff
2021-10-07 Andrew ReynoldsMake the cardinality of the alphabet of strings configu... tree | commitdiff
2021-10-07 mudathirmahgoubAdd missing functions in Term.java (#7297) tree | commitdiff
2021-10-07 Gereon KremerChange behaviour of Term::getRealValue() (#7316) tree | commitdiff
2021-10-06 Gereon KremerChange semantics of dumpUnsatCoresFull (#7314) tree | commitdiff
2021-10-05 Gereon KremerFinish refactoring on option handlers (#7295) tree | commitdiff
2021-10-04 Andrew ReynoldsEliminating static calls to rewriter from strings ... tree | commitdiff
2021-10-01 mudathirmahgoubUpdate java examples using the new Java API (#7225) tree | commitdiff
2021-10-01 Andrew ReynoldsFix ascription check for return types on ordinary funct... tree | commitdiff
2021-10-01 Aina NiemetzRename SmtEngine to SolverEngine. (#7282) tree | commitdiff
2021-09-30 Aina NiemetzRename files smt_engine.(cpp|h) to solver_engine.(cpp... tree | commitdiff
2021-09-30 Gereon KremerRefactor our static builds (#7251) tree | commitdiff
2021-09-30 mudathirmahgoubFinish the Java Api (#6396) tree | commitdiff
2021-09-30 Andrew ReynoldsSimplify the syntax and representation of the separatio... tree | commitdiff
2021-09-29 Abdalrhman MohamedRemove support for extended `(check-sat <term>)` comman... tree | commitdiff
2021-09-29 Andrew ReynoldsProperly restrict PBE symmetry breaking for abduction... tree | commitdiff
2021-09-29 Andrew ReynoldsUpdate the syntax for tuples in smt2 (#7265) tree | commitdiff
2021-09-29 Gereon Kremerremove stuff (#7258) tree | commitdiff
2021-09-29 mudathirmahgoubAdd Sort.java to the java API (#6382) tree | commitdiff
2021-09-24 Andrew ReynoldsEliminate calls to Rewriter::rewrite from strings entai... tree | commitdiff
2021-09-23 Andrew ReynoldsImplement alpha equivalence proofs (#7066) tree | commitdiff
2021-09-22 Mathias PreinerRemove CVC language support (#7219) tree | commitdiff
2021-09-22 Andrew ReynoldsTowards standard usage of evaluator (#7189) tree | commitdiff
2021-09-22 OuyanchengFix solver_black unit test (#7233) tree | commitdiff
2021-09-22 Andrew ReynoldsMinimal fixing version for tuple update parsing (#7228) tree | commitdiff
2021-09-21 Andres NoetzliFix handling of conversions between FP and reals (... tree | commitdiff
2021-09-17 Andres NoetzliUse a single `NodeManager` per thread (#7204) tree | commitdiff
2021-09-14 Andrew ReynoldsAdd get-difficulty to the API (#7194) tree | commitdiff
2021-09-14 Andres NoetzliMake `-o raw-benchmark` work with `--parse-only` (... tree | commitdiff
2021-09-14 Andrew ReynoldsSupport sygus version 2.1 command assume (#7081) tree | commitdiff
2021-09-14 Mathias Preinerproofs: Properly track pre- and post-rewrites in bbAtom... tree | commitdiff
2021-09-14 Andrew ReynoldsReimplement `--dump=raw-benchmark` as `-o raw-benchmark... tree | commitdiff
2021-09-13 Gereon KremerAdd Solver::isOutputOn() (#7187) tree | commitdiff
2021-09-11 Gereon KremerUse StatisticsRegistry from Env (#7166) tree | commitdiff
2021-09-11 Mathias Preinerbv: Move IsPowerOfTwo rule to preprocessing pass and... tree | commitdiff
2021-09-10 Aina NiemetzFP: Do not send trivial lemmas. (#7167) tree | commitdiff
2021-09-10 mudathirmahgoubAdd Op.java to the java API (#6387) tree | commitdiff
2021-09-10 Andres NoetzliUse C++17 attributes (#7154) tree | commitdiff
2021-09-09 Aina Niemetzpp passes: Use EnvObj::rewrite() instead of Rewriter... tree | commitdiff
2021-09-09 Andrew ReynoldsDisable shared selectors for quantified logics without... tree | commitdiff
2021-09-08 Gereon KremerA couple of minor cleanups (#7141) tree | commitdiff
2021-09-08 Andrew ReynoldsTowards standard usage of ExtendedRewriter (#7145) tree | commitdiff
2021-09-08 mudathirmahgoubAdd Datatype.java to the Java API (#6389) tree | commitdiff
2021-09-07 Andrew ReynoldsRefactoring and fixes of set defaults for quantifiers... tree | commitdiff
2021-09-02 Andres Noetzli[Unit Tests] Fix shell test for Editline (#7117) tree | commitdiff
2021-09-02 Aina NiemetzDisable sygus-inst for regression close to time limit... tree | commitdiff
2021-09-02 Gereon KremerAdd API check whether option in getOptionInfo() exists... tree | commitdiff
2021-09-02 Gereon KremerDriver & Options cleanup (#7109) tree | commitdiff
2021-09-02 Andrew ReynoldsImplement lazy proof checking modes (#7106) tree | commitdiff
2021-09-02 Andres Noetzli[Unit Tests] Fix bags rewrite test (#7114) tree | commitdiff
2021-09-02 Aina Niemetzpp: Derive PreprocessingPass from EnvObj. (#7112) tree | commitdiff
2021-09-02 Aina NiemetzEnable sygus-inst for FP, NIA and NRA. (#7098) tree | commitdiff
2021-09-01 Haniel Barbosa[proof] [sat] Fix lost reference to reason when process... tree | commitdiff
2021-09-01 Andrew ReynoldsPrint response to get-model using the API (#7084) tree | commitdiff
2021-09-01 mudathirmahgoubFixed TestTheoryWhiteBagsRewriter.map failure (#7103) tree | commitdiff
2021-09-01 Andrew ReynoldsFix issues with cyclic proofs due to double SYMM applic... tree | commitdiff
2021-08-31 Gereon KremerMake sure modes are sorted in ModeInfo (#7097) tree | commitdiff
2021-08-31 yoni206bv-to-int-module: implementations and stubs for transla... tree | commitdiff
2021-08-30 Gereon KremerAdd API function to obtain information about a single... tree | commitdiff
2021-08-30 mudathirmahgoubAdd kind BAG_MAP and its type rule to bags (#6503) tree | commitdiff
2021-08-30 Andrew ReynoldsFix proof equality engine for "no-explain" premises... tree | commitdiff
2021-08-30 Andrew ReynoldsFix quantifiers dynamic split module for parametric... tree | commitdiff
2021-08-27 Gereon KremerHandle languages as strings in driver (#7074) tree | commitdiff
2021-08-27 Andrew ReynoldsAdd missing methods to Solver API for models (#7052) tree | commitdiff
2021-08-27 yoni206Add `isNull` to cpp api tests, python api, and python... tree | commitdiff
2021-08-26 Gereon KremerImprove integration of nonlinear arithmetic into the... tree | commitdiff
2021-08-26 Mathias Preinerint2bv: Fix conversion of signed bit-vector values... tree | commitdiff
2021-08-26 Gereon KremerConsolidate language types (#7065) tree | commitdiff
2021-08-24 yoni206bv-to-int: more implementations (#7051) tree | commitdiff
2021-08-23 Andrew ReynoldsPurify substitutions in strings proof reconstruction... tree | commitdiff
2021-08-23 Andrew ReynoldsGeneralize inequality elimination in quantifiers rewrit... tree | commitdiff
2021-08-23 Andrew ReynoldsFix single invocation partition for higher-order (... tree | commitdiff
2021-08-23 Gereon KremerMove options parsing code to main (#7054) tree | commitdiff
2021-08-23 Aina Niemetzapi: Require size argument for mkBitVector. (#6998) tree | commitdiff
2021-08-22 Andrew ReynoldsPrenex quantified formulas with user annotations by... tree | commitdiff
2021-08-20 Andrew ReynoldsSimplify how user-provided quantifier attributes are... tree | commitdiff
2021-08-20 mudathirmahgoubAdd Term.java to the Java API (#6330) tree | commitdiff
2021-08-20 Andrew ReynoldsSupport sygus standard command syntax set-feature ... tree | commitdiff
2021-08-20 Gereon KremerUse Env class in nonlinear extension (#7039) tree | commitdiff
2021-08-18 Andres NoetzliMinor fixes of policy for eliminating quantifiers ... tree | commitdiff
2021-08-17 Andrew ReynoldsFix policy for eliminating quantified formulas (#7017) tree | commitdiff
2021-08-17 Gereon KremerPush Env class into TheoryState (#7012) tree | commitdiff
2021-08-16 Gereon KremerMake Theory class use Env (#7011) tree | commitdiff
2021-08-09 Andrew V. JonesCreate grouping of tests that exercise '--use-approx... tree | commitdiff
2021-08-05 Alex OzdemirNormalize val in BitVector(val_str, base) (#6955) tree | commitdiff
2021-08-05 Andres Noetzli[Unit Tests] Add missing include (#6990) tree | commitdiff
2021-08-05 Andrew ReynoldsFix policy for rewriting string equalities (#6916) tree | commitdiff
2021-08-05 Gereon KremerNo longer call solver constructor with an options objec... tree | commitdiff
2021-08-04 Andrew ReynoldsFix policy for merging subproofs (#6981) tree | commitdiff
2021-08-04 Gereon KremerRefactor managed streams (#6934) tree | commitdiff
2021-08-04 Gereon KremerAdd API function to get list of option names (#6971) tree | commitdiff
next