projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
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
2021-05-19 Mathias Preinerbv: Add support for --bitblast=eager. (#6516) commit | commitdiff | tree
2021-05-19 Andrew ReynoldsFix positive contains indexof rewrites for empty string... commit | commitdiff | tree
2021-05-19 Gereon KremerRemove accidental print (#6568) commit | commitdiff | tree
2021-05-19 Gereon KremerGenerate command line options for sphinx docs (#6555) commit | commitdiff | tree
2021-05-19 Andres NoetzliImprove handling of `:named` attributes (#6549) commit | commitdiff | tree
2021-05-19 Andrew ReynoldsFix handling of non-standard re.range terms (#6563) commit | commitdiff | tree
2021-05-18 Abdalrhman... Loop over terms to reconstruct instead of obligations... commit | commitdiff | tree
2021-05-18 Andres NoetzliFix `collectEmptyEqs()` in string utils (#6562) commit | commitdiff | tree
2021-05-18 Ying ShengAdding python API test part 2 (#6551) commit | commitdiff | tree
2021-05-18 Andrew Reynolds(proof-new) Miscellaneous updates to strings from proof... commit | commitdiff | tree
2021-05-18 Andrew ReynoldsFix smt2 printing (#6558) commit | commitdiff | tree
2021-05-18 mudathirmahgoubAdd Solver.java to the Java API (#6196) commit | commitdiff | tree
2021-05-17 Andres NoetzliFix `SPLIT_EQ_STRIP_R`/`SPLIT_EQ_STRIP_L` rewrites... commit | commitdiff | tree
2021-05-17 Ying ShengAdding python API test (#6546) commit | commitdiff | tree
2021-05-17 yoni206Move and enhance python API grammar tests (#6538) commit | commitdiff | tree
2021-05-17 Gereon KremerReplace smt_name by aliases (#6541) commit | commitdiff | tree
2021-05-17 Andres NoetzliInclude cinttypes instead of inttypes.h (#6548) commit | commitdiff | tree
2021-05-17 Gereon KremerImprove integration of CAD with nl-Ext (#6542) commit | commitdiff | tree
2021-05-14 Andres NoetzliDecouple parser creation from input selection (#6533) commit | commitdiff | tree
2021-05-14 Gereon KremerRestrict additional CI jobs (#6539) commit | commitdiff | tree
2021-05-14 Abdalrhman... Stop using the solver for printing sygus synthesis... commit | commitdiff | tree
2021-05-14 Alex OzdemirAdd getId function to python API (#6523) commit | commitdiff | tree
2021-05-14 mudathirmahgoubAdd Result.java to the java API (#6385) commit | commitdiff | tree
2021-05-14 Mathias Preinerbv: Assert input facts on user-level 0. (#6515) commit | commitdiff | tree
2021-05-14 Aina Niemetzapi docs: Tweak style to be consistent with website... commit | commitdiff | tree
2021-05-13 Andres NoetzliAlways parse streams with line buffer (#6532) commit | commitdiff | tree
2021-05-13 Mathias PreinerAdd std::hash overloads for Node, TNode and TypeNode... commit | commitdiff | tree
2021-05-13 Gereon KremerSplit options holder class (#6527) commit | commitdiff | tree
2021-05-13 yoni206Adding functions to the python API and testing them... commit | commitdiff | tree
2021-05-13 Alex OzdemirFix error message in toPythonObj (#6524) commit | commitdiff | tree
2021-05-12 Gereon KremerMove docs upload to a different workflow (#6512) commit | commitdiff | tree
2021-05-12 Andrew ReynoldsPreliminary draft of changes for SMT comp 2021 (#6522) commit | commitdiff | tree
2021-05-12 Andrew ReynoldsEnsure sequences of Booleans generate Boolean term... commit | commitdiff | tree
2021-05-12 Gereon KremerUse signal(sig, SIG_DFL); raise(sig); instead of abort... commit | commitdiff | tree
2021-05-10 Gereon KremerRemove header for option modules (#6514) commit | commitdiff | tree
2021-05-10 Gereon KremerRemove read_only from options. (#6513) commit | commitdiff | tree
next