projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2021-06-04 yoni206pow2: header file for pow2 solver (#6676) commit | commitdiff | tree
2021-06-04 Mathias Preinerbv: Enable bitblast solver by default. (#6660) commit | commitdiff | tree
2021-06-04 Gereon KremerAdd missing dereference (#6684) commit | commitdiff | tree
2021-06-04 Andres NoetzliFix handling of start index in `str.indexof_re` (#6674) commit | commitdiff | tree
2021-06-04 Gereon KremerSome cleanup in `mkoptions.py` (#6667) commit | commitdiff | tree
2021-06-04 Aina Niemetzdocs: Migrate datatypes theory reference. (#6662) commit | commitdiff | tree
2021-06-03 yoni206Adding unit tests for the datatypes python API (#6658) commit | commitdiff | tree
2021-06-03 Andrew ReynoldsSimplify automatic set-logic in smt2 parser (#6678) commit | commitdiff | tree
2021-06-03 Andres Noetzli[GitHub Actions] Make caching of dependencies depend... commit | commitdiff | tree
2021-06-03 yoni206Renaming pow2 to p2 in regression tests (#6675) commit | commitdiff | tree
2021-06-02 Andres NoetzliRemove references to `bv-div-zero-const` in docs (... commit | commitdiff | tree
2021-06-02 Andrew ReynoldsFixes for printing define-fun-rec (#6673) commit | commitdiff | tree
2021-06-02 Andres NoetzliRemove option to ignore negative memberships (#6665) commit | commitdiff | tree
2021-06-02 yoni206Adding getters to the python API and testing them ... commit | commitdiff | tree
2021-06-02 Aina NiemetzRemove redundant logic ALL_SUPPORTED. (#6664) commit | commitdiff | tree
2021-06-02 yoni206Move `toPythonObj` tests to the new API unit test direc... commit | commitdiff | tree
2021-06-02 Gereon KremerUse proper variable name (#6670) commit | commitdiff | tree
2021-06-02 Andrew ReynoldsFix unsat core proofs (#6655) commit | commitdiff | tree
2021-06-02 Andres NoetzliMake `STRINGS_CTN_DECOMPOSE` an explicit conflict ... commit | commitdiff | tree
2021-06-02 Gereon KremerRemove `Options::operator[]` (#6649) commit | commitdiff | tree
2021-06-02 Gereon KremerMove public wrapper functions out of options class... commit | commitdiff | tree
2021-06-02 Gereon KremerFix issues with double negation in circuit propagator... commit | commitdiff | tree
2021-06-02 Gereon KremerFix issues when poly is disabled (#6668) commit | commitdiff | tree
2021-06-02 Gereon KremerMake `Options::assign()` specializations free functions... commit | commitdiff | tree
2021-06-02 Gereon KremerDo manual squash cleanup for docs (#6646) commit | commitdiff | tree
2021-06-02 Aina Niemetzdocs: Migrate input languages page. (#6659) commit | commitdiff | tree
2021-06-02 Aina Niemetzdocs: Restructure index page, fix style issue. (#6657) commit | commitdiff | tree
2021-06-01 yoni206Some additions to the datatypes python API (#6640) commit | commitdiff | tree
2021-06-01 Andrew ReynoldsUse top-level substitutions in ITE simp (#6651) commit | commitdiff | tree
2021-06-01 Andrew ReynoldsDisable timeout regressions (#6650) commit | commitdiff | tree
2021-06-01 yoni206FP value support in python API (#6644) commit | commitdiff | tree
2021-05-31 Gereon KremerRemove Options::ref() (#6647) commit | commitdiff | tree
2021-05-31 Andres NoetzliRemove invalid options from run scripts (#6645) commit | commitdiff | tree
2021-05-31 yoni206Update `toPythonObj` to use new getters -- part 1 ... commit | commitdiff | tree
2021-05-31 Andres NoetzliCompute model values for nested sequences in order... commit | commitdiff | tree
2021-05-29 Gereon KremerRemove `Options::set()` method (#6556) commit | commitdiff | tree
2021-05-28 Ouyancheng(Optimization) remove popObjective, add resetObjectives... commit | commitdiff | tree
2021-05-28 yoni206Python API: bugfix + translating tests from cpp unit... commit | commitdiff | tree
2021-05-28 Gereon KremerAdd non-templated method to set option defaults (#6540) commit | commitdiff | tree
2021-05-28 Andres NoetzliDisable `--jh-rlv-order` for slow regressions (#6633) commit | commitdiff | tree
2021-05-28 Andres Noetzli`STRINGS_CTN_DECOMPOSE`: Avoid multiple conflicts ... commit | commitdiff | tree
2021-05-27 Andrew ReynoldsFix regular expression aggressive elim (#6627) commit | commitdiff | tree
2021-05-27 Andres NoetzliFix `str.replace_re` and `str.replace_re_all` (#6615) commit | commitdiff | tree
2021-05-27 OuyanchengAdd Lexicographic + Pareto Optimizations (#6626) commit | commitdiff | tree
2021-05-27 Andrew ReynoldsUpdate proof namespaces (#6614) commit | commitdiff | tree
2021-05-27 Andrew ReynoldsFix CEGQI for datatypes with Boolean subfields (#6630) commit | commitdiff | tree
2021-05-27 Andrew ReynoldsFix spurious assertion for trivial abduction (#6629) commit | commitdiff | tree
2021-05-27 Aina NiemetzFP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD... commit | commitdiff | tree
2021-05-27 Andres NoetzliReturn `REWRITE_AGAIN` after rewriting bvcomp (#6624) commit | commitdiff | tree
2021-05-27 OuyanchengAdd support for Box optimization (#6599) commit | commitdiff | tree
2021-05-27 Gereon KremerAvoid uploading docs if they did not change (#6621) commit | commitdiff | tree
2021-05-27 Andrew ReynoldsEnable new justification heuristic by default (#6613) commit | commitdiff | tree
2021-05-26 Gereon KremerUse references instead of getter functions (#6597) commit | commitdiff | tree
2021-05-26 Andres Noetzli More precise includes of `Node` constants (#6617) commit | commitdiff | tree
2021-05-26 Gereon KremerAdd more examples to the documentation (#6569) commit | commitdiff | tree
2021-05-26 Gereon KremerEnsure proper types in unit tests (#6598) commit | commitdiff | tree
2021-05-26 Gereon KremerReduce size of sphinx-gh output (#6601) commit | commitdiff | tree
2021-05-25 Aina Niemetzapi docs: Fix and tweak style for home and top links... commit | commitdiff | tree
2021-05-25 Andres NoetzliReplace deprecated calls to `std::allocator` (#6606) commit | commitdiff | tree
2021-05-25 Andres Noetzli[Unit tests] Fix path of Java bindings (#6616) commit | commitdiff | tree
2021-05-24 Andrew ReynoldsFix non-fixed length case in re-elim (#6612) commit | commitdiff | tree
2021-05-24 Andrew ReynoldsImplementation of the new justification heuristic ... commit | commitdiff | tree
2021-05-24 Andrew ReynoldsMove proof utilities to src/proof/ (#6611) commit | commitdiff | tree
2021-05-24 Andrew ReynoldsFix re-elim length requirement for symbolic RE membersh... commit | commitdiff | tree
2021-05-24 Andrew ReynoldsFix instance of no rewrite in extended rewriter (#6610) commit | commitdiff | tree
2021-05-24 Andrew ReynoldsBetter formalization of regular expression unfolding... commit | commitdiff | tree
2021-05-21 Andrew ReynoldsFix tests of unsat cores (#6593) commit | commitdiff | tree
2021-05-21 Andrew ReynoldsFix and refactor relevant domain (#6528) commit | commitdiff | tree
2021-05-21 Andrew ReynoldsFormalize shared selectors as skolem functions (#6591) commit | commitdiff | tree
2021-05-21 Andrew ReynoldsMinor simplification to boolean proof checker (#6590) commit | commitdiff | tree
2021-05-21 Andrew Reynolds(proof-new) Minor documentation sync (#6592) commit | commitdiff | tree
2021-05-21 Andrew ReynoldsAdd utility to get all types occurring in a term (... commit | commitdiff | tree
2021-05-21 Andrew ReynoldsUpdate to sygus standard output for check-synth respons... commit | commitdiff | tree
2021-05-21 Andres NoetzliSupport braced-init-lists with `mkNode()` (#6580) commit | commitdiff | tree
2021-05-21 Aina Niemetzapi docs: Tweak and fix style. (#6582) commit | commitdiff | tree
2021-05-21 Aina Niemetzapi docs: Update copyright. (#6596) commit | commitdiff | tree
2021-05-21 makaimannUse scikit-build CMake files for pycvc5 (#6543) commit | commitdiff | tree
2021-05-21 Gereon KremerMove option names out of struct (#6554) commit | commitdiff | tree
2021-05-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589) commit | commitdiff | tree
2021-05-20 Mathias PreinerUpdate version of CaDiCaL. (#6583) commit | commitdiff | tree
2021-05-20 Aina NiemetzDisable unit testing for clang builds. (#6595) commit | commitdiff | tree
2021-05-20 Gereon KremerProperly initialize. (#6586) commit | commitdiff | tree
2021-05-20 Haniel BarbosaRemove old unsat cores (#6581) commit | commitdiff | tree
2021-05-20 Gereon KremerUse most recent version of libpoly (#6587) commit | commitdiff | tree
2021-05-20 yoni206Avoid using printSynthSolution in the python API and... commit | commitdiff | tree
2021-05-20 Gereon KremerMinor improvements to the API (#6585) commit | commitdiff | tree
2021-05-20 Aina NiemetzFix echo printing. (#6573) commit | commitdiff | tree
2021-05-20 Gereon KremerAdd more getters for api::Term (#6496) commit | commitdiff | tree
2021-05-20 Alex OzdemirExpand arith's farkas lemma rule as a macro (#6577) commit | commitdiff | tree
2021-05-19 Andres NoetzliRemove unused methods from `NodeManager` (#6578) commit | commitdiff | tree
2021-05-19 Mathias PreinerCorrectly handle negated assertions for assumption... commit | commitdiff | tree
2021-05-19 Andrew ReynoldsPass empty vector when constructing re empty, fixes... commit | commitdiff | tree
2021-05-19 Ying ShengAdding python API test part 4 (#6553) commit | commitdiff | tree
2021-05-19 Andres NoetzliMake output list of `mkoptions.py` more accurate (... commit | commitdiff | tree
2021-05-19 Andrew ReynoldsMake strings emp inference an unhandled inference for... commit | commitdiff | tree
2021-05-19 Haniel BarbosaAdding regressions that failed on old unsat cores ... commit | commitdiff | tree
2021-05-19 Haniel BarbosaChange the default unsat cores (#6571) commit | commitdiff | tree
2021-05-19 Ying ShengAdding python API test part 3 (#6552) commit | commitdiff | tree
2021-05-19 Andrew ReynoldsFix strings rewriter for non-standard re range (#6570) commit | commitdiff | tree
2021-05-19 Andrew ReynoldsAdd more missing inference ids (#6313) commit | commitdiff | tree
next