projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2021-06-15 Gereon KremerRemove public option wrappers (#6716) commit | commitdiff | tree
2021-06-15 Aina Niemetzdocs: Fix reference in sep logic reference. (#6747) commit | commitdiff | tree
2021-06-15 Haniel BarbosaCVC4 -> cvc5 in cpp API examples (#6746) commit | commitdiff | tree
2021-06-15 Aina Niemetzdocs: Add references instead of links in theory referen... commit | commitdiff | tree
2021-06-15 yoni206An example for a quick start guide (#6686) commit | commitdiff | tree
2021-06-14 Andres NoetzliFinal update to SMT-COMP 2021 options (#6739) commit | commitdiff | tree
2021-06-13 Andrew ReynoldsMinor simplifications to LogicInfo (#6737) commit | commitdiff | tree
2021-06-11 Haniel BarbosaBetter support for HOL parsing and set up (#6697) commit | commitdiff | tree
2021-06-11 Gereon KremerAdd skeleton for new Lazard evaluation (#6732) commit | commitdiff | tree
2021-06-11 Andrew ReynoldsRemove support for lazy BV extended function reductions... commit | commitdiff | tree
2021-06-10 Andrew ReynoldsEnsure bv2nat and int2bv are not rewritten when using... commit | commitdiff | tree
2021-06-10 Mathias Preinersmtcomp: Change some BV configs for SQ and INC track... commit | commitdiff | tree
2021-06-09 Aina Niemetzdocs: Migrate sets and relations theory reference.... commit | commitdiff | tree
2021-06-09 Andres NoetzliMake `--solve-int-as-bv=X` robust to rewriting (#6722) commit | commitdiff | tree
2021-06-09 Andres NoetzliUpdate CVC4 URLs/macros (#6666) commit | commitdiff | tree
2021-06-09 Andres NoetzliReorder ITE rewrites (#6723) commit | commitdiff | tree
2021-06-09 Gereon KremerMake squasing more robust (#6713) commit | commitdiff | tree
2021-06-09 Andrew ReynoldsIntegrate learned literal manager into preprocessing... commit | commitdiff | tree
2021-06-09 Andrew ReynoldsFixes related to printing tuples, define-fun commands... commit | commitdiff | tree
2021-06-09 Gereon KremerPush complex check inside GetInstantiationsCommand... commit | commitdiff | tree
2021-06-09 Andres NoetzliUpdate options for SMT-COMP (#6704) commit | commitdiff | tree
2021-06-09 Ouyancheng[Optimization] support for push/pop (#6706) commit | commitdiff | tree
2021-06-09 Haniel BarbosaRemoving spurious HO checks (#6707) commit | commitdiff | tree
2021-06-09 Gereon KremerRequire statistics for regression (#6714) commit | commitdiff | tree
2021-06-09 Aina Niemetzdocs: Migrate separation logic theory reference. (... commit | commitdiff | tree
2021-06-09 Andres Noetzlidocs: Fix `Kind` description (#6712) commit | commitdiff | tree
2021-06-08 Andrew ReynoldsFix for 2 dimensional dependent bounded quantifiers... commit | commitdiff | tree
2021-06-08 Andrew ReynoldsAdd learned literal manager utility (#6709) commit | commitdiff | tree
2021-06-08 Gereon KremerFix statistics option handler (#6703) commit | commitdiff | tree
2021-06-08 Gereon KremerMake env hold a pointer to the original options to... commit | commitdiff | tree
2021-06-08 Gereon KremerRemove `binary_name` option (#6693) commit | commitdiff | tree
2021-06-08 Alex OzdemirChange output of getRealValue to a fraction. (#6692) commit | commitdiff | tree
2021-06-08 Andrew ReynoldsMake TheoryUF compatible with central equality engine... commit | commitdiff | tree
2021-06-08 Andrew ReynoldsFix str.update reduction (#6696) commit | commitdiff | tree
2021-06-07 Andrew Reynolds(proof-new) Fix missing connection in trust substitutio... commit | commitdiff | tree
2021-06-07 Gereon KremerRemove `Options::wasSetByUser()` (#6682) commit | commitdiff | tree
2021-06-07 Andrew Reynolds(proof-new) Lazy proof chain debug names (#6680) commit | commitdiff | tree
2021-06-06 Gereon KremerSupport public option modules (#6691) commit | commitdiff | tree
2021-06-05 Andres NoetzliRemove unwanted side effects in `SPLIT_EQ_STRIP_L`... commit | commitdiff | tree
2021-06-04 Andrew ReynoldsMiscellaneous changes from central ee branch (#6687) commit | commitdiff | tree
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
next