projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[GitHub Actions] Make caching of dependencies depend on image version (#6677)
[cvc5.git] / test /
2021-06-03 yoni206Renaming pow2 to p2 in regression tests (#6675) tree | commitdiff
2021-06-02 Andres NoetzliRemove option to ignore negative memberships (#6665) tree | commitdiff
2021-06-02 yoni206Adding getters to the python API and testing them ... tree | commitdiff
2021-06-02 Aina NiemetzRemove redundant logic ALL_SUPPORTED. (#6664) tree | commitdiff
2021-06-02 yoni206Move `toPythonObj` tests to the new API unit test direc... tree | commitdiff
2021-06-02 Andrew ReynoldsFix unsat core proofs (#6655) tree | commitdiff
2021-06-02 Andres NoetzliMake `STRINGS_CTN_DECOMPOSE` an explicit conflict ... tree | commitdiff
2021-06-02 Gereon KremerMove public wrapper functions out of options class... tree | commitdiff
2021-06-02 Gereon KremerFix issues with double negation in circuit propagator... tree | commitdiff
2021-06-01 yoni206Some additions to the datatypes python API (#6640) tree | commitdiff
2021-06-01 Andrew ReynoldsDisable timeout regressions (#6650) tree | commitdiff
2021-06-01 yoni206FP value support in python API (#6644) tree | commitdiff
2021-05-31 yoni206Update `toPythonObj` to use new getters -- part 1 ... tree | commitdiff
2021-05-31 Andres NoetzliCompute model values for nested sequences in order... tree | commitdiff
2021-05-29 Gereon KremerRemove `Options::set()` method (#6556) tree | commitdiff
2021-05-28 Ouyancheng(Optimization) remove popObjective, add resetObjectives... tree | commitdiff
2021-05-28 yoni206Python API: bugfix + translating tests from cpp unit... tree | commitdiff
2021-05-28 Andres NoetzliDisable `--jh-rlv-order` for slow regressions (#6633) tree | commitdiff
2021-05-28 Andres Noetzli`STRINGS_CTN_DECOMPOSE`: Avoid multiple conflicts ... tree | commitdiff
2021-05-27 Andrew ReynoldsFix regular expression aggressive elim (#6627) tree | commitdiff
2021-05-27 Andres NoetzliFix `str.replace_re` and `str.replace_re_all` (#6615) tree | commitdiff
2021-05-27 OuyanchengAdd Lexicographic + Pareto Optimizations (#6626) tree | commitdiff
2021-05-27 Andrew ReynoldsUpdate proof namespaces (#6614) tree | commitdiff
2021-05-27 Andrew ReynoldsFix CEGQI for datatypes with Boolean subfields (#6630) tree | commitdiff
2021-05-27 Andrew ReynoldsFix spurious assertion for trivial abduction (#6629) tree | commitdiff
2021-05-27 Andres NoetzliReturn `REWRITE_AGAIN` after rewriting bvcomp (#6624) tree | commitdiff
2021-05-27 OuyanchengAdd support for Box optimization (#6599) tree | commitdiff
2021-05-27 Andrew ReynoldsEnable new justification heuristic by default (#6613) tree | commitdiff
2021-05-26 Andres Noetzli More precise includes of `Node` constants (#6617) tree | commitdiff
2021-05-26 Gereon KremerEnsure proper types in unit tests (#6598) tree | commitdiff
2021-05-25 Andres Noetzli[Unit tests] Fix path of Java bindings (#6616) tree | commitdiff
2021-05-24 Andrew ReynoldsFix non-fixed length case in re-elim (#6612) tree | commitdiff
2021-05-24 Andrew ReynoldsMove proof utilities to src/proof/ (#6611) tree | commitdiff
2021-05-24 Andrew ReynoldsFix re-elim length requirement for symbolic RE membersh... tree | commitdiff
2021-05-24 Andrew ReynoldsFix instance of no rewrite in extended rewriter (#6610) tree | commitdiff
2021-05-21 Andrew ReynoldsFix tests of unsat cores (#6593) tree | commitdiff
2021-05-21 Andrew ReynoldsUpdate to sygus standard output for check-synth respons... tree | commitdiff
2021-05-21 Andres NoetzliSupport braced-init-lists with `mkNode()` (#6580) tree | commitdiff
2021-05-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589) tree | commitdiff
2021-05-20 Gereon KremerMinor improvements to the API (#6585) tree | commitdiff
2021-05-20 Aina NiemetzFix echo printing. (#6573) tree | commitdiff
2021-05-20 Gereon KremerAdd more getters for api::Term (#6496) tree | commitdiff
2021-05-19 Andrew ReynoldsPass empty vector when constructing re empty, fixes... tree | commitdiff
2021-05-19 Ying ShengAdding python API test part 4 (#6553) tree | commitdiff
2021-05-19 Haniel BarbosaAdding regressions that failed on old unsat cores ... tree | commitdiff
2021-05-19 Haniel BarbosaChange the default unsat cores (#6571) tree | commitdiff
2021-05-19 Ying ShengAdding python API test part 3 (#6552) tree | commitdiff
2021-05-19 Andrew ReynoldsFix positive contains indexof rewrites for empty string... tree | commitdiff
2021-05-19 Andres NoetzliImprove handling of `:named` attributes (#6549) tree | commitdiff
2021-05-18 Abdalrhman MohamedLoop over terms to reconstruct instead of obligations... tree | commitdiff
2021-05-18 Andres NoetzliFix `collectEmptyEqs()` in string utils (#6562) tree | commitdiff
2021-05-18 Ying ShengAdding python API test part 2 (#6551) tree | commitdiff
2021-05-18 mudathirmahgoubAdd Solver.java to the Java API (#6196) tree | commitdiff
2021-05-17 Andres NoetzliFix `SPLIT_EQ_STRIP_R`/`SPLIT_EQ_STRIP_L` rewrites... tree | commitdiff
2021-05-17 Ying ShengAdding python API test (#6546) tree | commitdiff
2021-05-17 yoni206Move and enhance python API grammar tests (#6538) tree | commitdiff
2021-05-17 Gereon KremerImprove integration of CAD with nl-Ext (#6542) tree | commitdiff
2021-05-14 Andres NoetzliDecouple parser creation from input selection (#6533) tree | commitdiff
2021-05-14 mudathirmahgoubAdd Result.java to the java API (#6385) tree | commitdiff
2021-05-13 Mathias PreinerAdd std::hash overloads for Node, TNode and TypeNode... tree | commitdiff
2021-05-13 yoni206Adding functions to the python API and testing them... tree | commitdiff
2021-05-12 Andrew ReynoldsEnsure sequences of Booleans generate Boolean term... tree | commitdiff
2021-05-10 Andrew ReynoldsUnify top-level substitutions and model substitutions... tree | commitdiff
2021-05-08 yoni206Adding functions to the python API and testing them... tree | commitdiff
2021-05-08 Andrew ReynoldsAdd support for datatype update (#6449) tree | commitdiff
2021-05-07 Aina NiemetzMove slow regressions and update guidelines. (#6508) tree | commitdiff
2021-05-07 Aina NiemetzFix and add missing REQUIRE labels for FP regression... tree | commitdiff
2021-05-07 makaimannFix for toPythonObj of integer value with real sort... tree | commitdiff
2021-05-06 Andrew ReynoldsDiscard duplicate terms in patterns (#6501) tree | commitdiff
2021-05-04 Aina NiemetzFP: Move removal of generic to_fp operations to rewrite... tree | commitdiff
2021-05-03 Aina NiemetzFP: Rewrite to_fp conversion from signed bit-vector... tree | commitdiff
2021-05-03 Aina NiemetzSymFPU: Automatically apply patch from 2020-11-14.... tree | commitdiff
2021-05-03 yoni206Python API tests for terms -- Part 1 (#6468) tree | commitdiff
2021-04-30 OuyanchengRefactor optimization result and objective classes... tree | commitdiff
2021-04-30 Andrew ReynoldsUse substitutions for implementing defined functions... tree | commitdiff
2021-04-28 OuyanchengFix BV Optimization Boundary Condition when lower bound... tree | commitdiff
2021-04-27 Andrew ReynoldsAdd internal support for datatype update (#6450) tree | commitdiff
2021-04-27 Andrew ReynoldsMove slow regression to regress3 (#6451) tree | commitdiff
2021-04-27 Andrew ReynoldsFix refutational soundness bug in quantifier prenexing... tree | commitdiff
2021-04-25 Andrew ReynoldsMore check models (#6439) tree | commitdiff
2021-04-24 Andrew ReynoldsImprove getValue for non-evaluated operators (#6436) tree | commitdiff
2021-04-22 Andrew ReynoldsFix models for sygus-inference, bv2int, real2int (... tree | commitdiff
2021-04-22 Haniel BarbosaReconciling proofs and unsat cores (#6405) tree | commitdiff
2021-04-22 Andres NoetzliAllow in-place construction of `CDList` items (#6409) tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-21 Andrew ReynoldsAdd unit test for abduction (#6400) tree | commitdiff
2021-04-21 mudathirmahgoubAdd getNumIndices to Op (#6386) tree | commitdiff
2021-04-20 Andrew ReynoldsAdd instantiation pool feature to the API (#6358) tree | commitdiff
2021-04-20 Aina NiemetzRemove support for CVC3 language. (#6369) tree | commitdiff
2021-04-20 yoni206python API sorts: adding functions and tests (#6361) tree | commitdiff
2021-04-19 Andrew ReynoldsFully incorporate quantifiers macros into ppAssert... tree | commitdiff
2021-04-19 Gereon KremerRemove linking against gmp and cln in tests and parser... tree | commitdiff
2021-04-15 Aina Niemetzpreprocessing context: Add wrapper for model substituti... tree | commitdiff
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) tree | commitdiff
2021-04-15 Andrew ReynoldsReenable regression for minimizing instantiations ... tree | commitdiff
2021-04-14 Gereon KremerRefactor / reimplement statistics (#6162) tree | commitdiff
2021-04-14 Abdalrhman MohamedMerge equivalent sub-obligations instead of discarding... tree | commitdiff
2021-04-14 Andrew ReynoldsWarn about infeasible SyGuS conjectures (#6345) tree | commitdiff
2021-04-13 Andrew ReynoldsRefactor quantifiers macros (#6348) tree | commitdiff
2021-04-13 Abdalrhman MohamedFix sexpr bug with AST output language. (#6329) tree | commitdiff
next