projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2022-04-01 Andres Noetzli[API] Add mode argument for `Solver::blockModel()`... commit | commitdiff | tree
2022-04-01 Andres NoetzliRemove `UnknownExplanation::NO_STATUS` (#8518) commit | commitdiff | tree
2022-04-01 mudathirmahgoubFix javadoc custom tag warning (#8502) commit | commitdiff | tree
2022-04-01 Mathias Preinerdocs: Add documentation for modes. (#8509) commit | commitdiff | tree
2022-04-01 Aina NiemetzPython api: Various fixes in docs. (#8480) commit | commitdiff | tree
2022-04-01 Andres Noetzli[API] Remove redundant version of `mkFunctionSort`... commit | commitdiff | tree
2022-04-01 Andrew ReynoldsFix sygus-inst when combined with bounded string quanti... commit | commitdiff | tree
2022-04-01 Mathias Preinerapi: Swap arguments of declareSygusVar. (#8499) commit | commitdiff | tree
2022-04-01 Mathias Preinerapi: Use std::optional for symbols in mk* functions... commit | commitdiff | tree
2022-04-01 Mathias Preinermake-release: Change instructions for pushing tag. commit | commitdiff | tree
2022-04-01 Mathias PreinerStart post-release for 0.0.9 commit | commitdiff | tree
2022-04-01 Mathias PreinerBump version to 0.0.9 commit | commitdiff | tree
2022-04-01 Gereon KremerAlso run on created. (#8506) commit | commitdiff | tree
2022-03-31 Ying ShengAdd documentation for sequences (#8496) commit | commitdiff | tree
2022-03-31 mudathirmahgoubFix bag example links (#8504) commit | commitdiff | tree
2022-03-31 Andrew ReynoldsHandled quoted symbols in indexed operators (#8491) commit | commitdiff | tree
2022-03-31 Aina NiemetzVarious fixes related to isDatatypeXXX checks. (#8473) commit | commitdiff | tree
2022-03-31 Aina NiemetzSort, TypeNode: Rename functions related to datatypes... commit | commitdiff | tree
2022-03-31 Andrew ReynoldsDisable minisat variable elimination when a parametric... commit | commitdiff | tree
2022-03-31 Andres NoetzliRemove examples that use the old API (#8486) commit | commitdiff | tree
2022-03-31 Aina Niemetzapi: Remove warning for Sort::instantiate(). (#8475) commit | commitdiff | tree
2022-03-31 Andrew ReynoldsDo not export dt.size (#8483) commit | commitdiff | tree
2022-03-31 Andrew ReynoldsFix check for whether PI is reduced (#8485) commit | commitdiff | tree
2022-03-31 Mathias Preinerci: Fix typo in update-pr job. (#8492) commit | commitdiff | tree
2022-03-31 Gereon KremerImprove documentation for Statistics in C++ API (#8476) commit | commitdiff | tree
2022-03-31 Haniel Barbosa[proofs] Adding post-visit processing to proof node... commit | commitdiff | tree
2022-03-31 Andres NoetzliRemove support for Python 2.x (#8488) commit | commitdiff | tree
2022-03-31 mudathirmahgoubAdd examples/bags.cpp (#8463) commit | commitdiff | tree
2022-03-31 Andres NoetzliFix Java examples (#8484) commit | commitdiff | tree
2022-03-31 Andrew ReynoldsFix lower vs upper bound issue for eager RE conflicts... commit | commitdiff | tree
2022-03-31 Gereon KremerInstall necessary packages (#8479) commit | commitdiff | tree
2022-03-31 Gereon KremerOnly run update-pr for normal commits on main (#8478) commit | commitdiff | tree
2022-03-31 Gereon KremerImprove documentation for OptionInfo (#8474) commit | commitdiff | tree
2022-03-31 Andres NoetzliMove Java package to `io.github.cvc5` (#8469) commit | commitdiff | tree
2022-03-31 Haniel Barbosa[proofs] [doc] Documenting arrays, bit-vectors, datatyp... commit | commitdiff | tree
2022-03-31 Haniel Barbosa[proofs] [doc] Document equality rules (#8462) commit | commitdiff | tree
2022-03-31 Mathias Preinerdocs: Remove api namespace. (#8455) commit | commitdiff | tree
2022-03-31 Andrew ReynoldsFix non-termination in the strings rewriter (#8438) commit | commitdiff | tree
2022-03-31 Aina Niemetzapi: Mark experimental kinds. (#8464) commit | commitdiff | tree
2022-03-31 Mathias PreinerStart post-release for 0.0.8 commit | commitdiff | tree
2022-03-31 Mathias PreinerBump version to 0.0.8 commit | commitdiff | tree
2022-03-31 Mathias Preinerci: Do not cancel jobs on main branch. (#8471) commit | commitdiff | tree
2022-03-31 Andrew ReynoldsFix case of Boolean skolem for ground term E-matching... commit | commitdiff | tree
2022-03-31 Mathias Preinerci: Update older PRs first. (#8477) commit | commitdiff | tree
2022-03-31 Mathias Preinerapi: Remove isUninterpretedSortParameterized from heade... commit | commitdiff | tree
2022-03-30 Gereon KremerAllow for multiple (equal) base model values (#8467) commit | commitdiff | tree
2022-03-30 Mathias PreinerExclude competition build for issue8377-resolve-indexed... commit | commitdiff | tree
2022-03-30 Mathias PreinerMove cvc5::internal::context to cvc5::context. (#8451) commit | commitdiff | tree
2022-03-30 mudathirmahgoubPatch cross reference in Kind.java documentation (... commit | commitdiff | tree
2022-03-30 Aina Niemetzdocs: Add bags to list of theory references. (#8461) commit | commitdiff | tree
2022-03-30 Aina Niemetzapi: Add Sort::getUninterpretedSortConstructor(). ... commit | commitdiff | tree
2022-03-30 Andrew ReynoldsFix policy for purifying arguments of exp (#8416) commit | commitdiff | tree
2022-03-30 Andrew ReynoldsFixes for sygus-inst (#8448) commit | commitdiff | tree
2022-03-30 Andrew ReynoldsFix subtype issue in cegqi arithmetic (#8440) commit | commitdiff | tree
2022-03-30 Aina NiemetzTypeNode: Unify functions to instantiate parametric... commit | commitdiff | tree
2022-03-30 Andres Noetzli[API] Move `UnknownExplanation` to `cvc5_types.h` ... commit | commitdiff | tree
2022-03-30 Haniel Barbosa[proof] [doc] Document external proof rules (#8439) commit | commitdiff | tree
2022-03-30 Mathias PreinerMove cvc5::internal::main to cvc5::main. (#8454) commit | commitdiff | tree
2022-03-30 yoni206Add information for cardinality constraint to the Pytho... commit | commitdiff | tree
2022-03-30 yoni206Adding some missing python API methods and tests (... commit | commitdiff | tree
2022-03-30 Andrew ReynoldsChange tuple tokens and update datatypes theory ref... commit | commitdiff | tree
2022-03-30 Andrew ReynoldsAdd LFSC to internal proof checker (#8442) commit | commitdiff | tree
2022-03-30 mudathirmahgoubFix some documentation warnings (#8453) commit | commitdiff | tree
2022-03-30 Mathias PreinerRename master branch to main. (#8452) commit | commitdiff | tree
2022-03-30 Abdalrhman... Show the code for utilities in the docs. (#8387) commit | commitdiff | tree
2022-03-30 Aina NiemetzTypeNode: Rename isSort() and getSortConstructorArity... commit | commitdiff | tree
2022-03-29 Mathias PreinerIntroduce internal namespace and remove api namespace... commit | commitdiff | tree
2022-03-29 Aina Niemetzapi: Add Sort::getInstantiatedParameters(). (#8445) commit | commitdiff | tree
2022-03-29 yoni206bv-to-int: fix translation of bvneg (#8437) commit | commitdiff | tree
2022-03-29 Andrew ReynoldsMake ensureTermSort private (#8436) commit | commitdiff | tree
2022-03-29 Andrew ReynoldsAdd information for cardinality constraint to the API... commit | commitdiff | tree
2022-03-29 Andrew ReynoldsMake ProofNodeManager mkScope more robust (#8435) commit | commitdiff | tree
2022-03-29 mudathirmahgoubAdd bags.rst (#8432) commit | commitdiff | tree
2022-03-29 Andrew ReynoldsFix issue related to use of Boolean term variable for... commit | commitdiff | tree
2022-03-29 Andres Noetzli[API] Add `{is,get}RoundingModeValue()` (#8429) commit | commitdiff | tree
2022-03-29 Aina NiemetzTypeNode: Refactor get param types handling. (#8428) commit | commitdiff | tree
2022-03-29 Clark BarrettFix for issue 5925: constant arrays should be nonlinear... commit | commitdiff | tree
2022-03-29 Aina Niemetzapi: Add Sort::isInstantiated(). (#8425) commit | commitdiff | tree
2022-03-29 Andres NoetzliMove `RoundingMode` to `cvc5_types.h` (#8427) commit | commitdiff | tree
2022-03-28 Andrew ReynoldsMark more methods as experimental (#8426) commit | commitdiff | tree
2022-03-28 Mathias PreinerRename get-interpol to get-interpolant. (#8424) commit | commitdiff | tree
2022-03-28 Andres Noetzli[API] Mark methods as experimental (#8249) commit | commitdiff | tree
2022-03-28 Mathias Preinerci: Enable all language bindings for debug build. ... commit | commitdiff | tree
2022-03-28 Aina Niemetzapi: Remove left-over Sort::getUninterpretedSortName... commit | commitdiff | tree
2022-03-28 Lachnitt[proofs] Alethe: Call Printer (#8408) commit | commitdiff | tree
2022-03-28 Lachnitt[proofs] Alethe: Add ALETHE_RULE to builtin proof check... commit | commitdiff | tree
2022-03-28 Andrew ReynoldsFix synth result python unit test (#8418) commit | commitdiff | tree
2022-03-28 Mathias PreinerMark solve-bv-as-int as expert. (#8417) commit | commitdiff | tree
2022-03-26 yoni206Separating produce-interpols from the mode of interpola... commit | commitdiff | tree
2022-03-26 Aina Niemetzbuiltin: Move type rules implementation to .cpp file... commit | commitdiff | tree
2022-03-26 Aina Niemetzapi: Rename *SortConstructor* to *UninterpretedSortCons... commit | commitdiff | tree
2022-03-26 Andrew ReynoldsFix spurious assertion failure (#8404) commit | commitdiff | tree
2022-03-26 Andrew ReynoldsThrow logic exception for set.map (#8403) commit | commitdiff | tree
2022-03-26 Andrew ReynoldsMore minor cleaning of options (#8401) commit | commitdiff | tree
2022-03-26 Andrew ReynoldsFixes for API kind documentation (#8397) commit | commitdiff | tree
2022-03-26 Gereon KremerAdd API unit tests for options (#8339) commit | commitdiff | tree
2022-03-25 Mathias Preinerapi: Unify mkOp variants. (#8369) commit | commitdiff | tree
2022-03-25 Aina Niemetzapi: More comprehensive documentation of INTERNAL_KIND... commit | commitdiff | tree
2022-03-25 Andres Noetzli[Parser] Fix resolution of indexed symbols (#8383) commit | commitdiff | tree
2022-03-25 Aina Niemetzapi: Remove Sort::isParametricDatatype(). (#8405) commit | commitdiff | tree
next