cvc5.git
2022-04-04 Andrew ReynoldsFix for get-value with empty uninterpreted sort domain...
2022-04-03 Mathias PreinerStart post-release for 0.0.11
2022-04-03 Mathias PreinerBump version to 0.0.11
2022-04-02 Gereon Kremeruse one process more than we have cores (#8545)
2022-04-02 Andrew ReynoldsRename mkSygusGrammar to mkGrammar (#8544)
2022-04-02 Andrew ReynoldsRemove variant of mkDatatypeDecl with one sort paramete...
2022-04-02 Aina Niemetzapi: Rename get(Selector|Constructor)Term() to getTerm...
2022-04-02 Gereon KremerFollow renaming within pythonic API (#8532)
2022-04-02 Gereon KremerAlways cancel already running CI runs on forks (#8542)
2022-04-02 Cesare TinelliMinor edits in docs. (#8540)
2022-04-02 Andrew ReynoldsIgnore irrelevant exponential terms (#8534)
2022-04-02 Mathias Preinerdocs: Add Python installation instructions for pip...
2022-04-02 Aina Niemetzapi: Remove DatatypeConstructor::getSelectorTerm()...
2022-04-02 Andrew ReynoldsRequire that used model values are constant in CEGQI...
2022-04-02 Andrew ReynoldsAdd a few miscellaneous pieces of documentation (#8533)
2022-04-02 mudathirmahgoubRemove java API methods that accepts lists as arguments...
2022-04-02 Andrew ReynoldsAdd more explanations in the API (#8493)
2022-04-01 Gereon KremerSimplify the python base API in a few places (#8514)
2022-04-01 Andrew ReynoldsSimplifications to the datatypes API (#8511)
2022-04-01 Mathias Preinerdocs: Document UnknownExplanation. (#8508)
2022-04-01 Gereon KremerPrevent using the coverings solver with extended operat...
2022-04-01 Aina Niemetzapi kinds: Refactor docs for kinds to properly render...
2022-04-01 Aina Niemetzapi: Remove Datatype::getConstructorTerm(). (#8529)
2022-04-01 Haniel BarbosaReplace regression by minimized one via ddSMT (#8531)
2022-04-01 Gereon KremerOnly run pypi packaging when release is published ...
2022-04-01 Mathias Preinermake-release: Clarify instructions for pushing commits...
2022-04-01 Haniel Barbosa[proofs] [doc] Document string rules (#8498)
2022-04-01 Gereon KremerChange CI concurrency policy to not queue on main ...
2022-04-01 Gereon KremerDocument special member functions in python API (#8513)
2022-04-01 Aina NiemetzPython API: Do not rename enumerators. (#8507)
2022-04-01 Haniel Barbosa[proofs] [alethe] Fix Alethe post-processor (#8525)
2022-04-01 Mathias PreinerStart post-release for 0.0.10
2022-04-01 Mathias PreinerBump version to 0.0.10
2022-04-01 Andrew ReynoldsInternal simplifications to constructing datatypes...
2022-04-01 Gereon KremerFix pypi packaging trigger again (#8512)
2022-04-01 Haniel Barbosa[proofs] [doc] Minor changes to general proofs page...
2022-04-01 Gereon KremerRemove decorator from python API (#8505)
2022-04-01 Andres Noetzli[API] Add mode argument for `Solver::blockModel()`...
2022-04-01 Andres NoetzliRemove `UnknownExplanation::NO_STATUS` (#8518)
2022-04-01 mudathirmahgoubFix javadoc custom tag warning (#8502)
2022-04-01 Mathias Preinerdocs: Add documentation for modes. (#8509)
2022-04-01 Aina NiemetzPython api: Various fixes in docs. (#8480)
2022-04-01 Andres Noetzli[API] Remove redundant version of `mkFunctionSort`...
2022-04-01 Andrew ReynoldsFix sygus-inst when combined with bounded string quanti...
2022-04-01 Mathias Preinerapi: Swap arguments of declareSygusVar. (#8499)
2022-04-01 Mathias Preinerapi: Use std::optional for symbols in mk* functions...
2022-04-01 Mathias Preinermake-release: Change instructions for pushing tag.
2022-04-01 Mathias PreinerStart post-release for 0.0.9
2022-04-01 Mathias PreinerBump version to 0.0.9
2022-04-01 Gereon KremerAlso run on created. (#8506)
2022-03-31 Ying ShengAdd documentation for sequences (#8496)
2022-03-31 mudathirmahgoubFix bag example links (#8504)
2022-03-31 Andrew ReynoldsHandled quoted symbols in indexed operators (#8491)
2022-03-31 Aina NiemetzVarious fixes related to isDatatypeXXX checks. (#8473)
2022-03-31 Aina NiemetzSort, TypeNode: Rename functions related to datatypes...
2022-03-31 Andrew ReynoldsDisable minisat variable elimination when a parametric...
2022-03-31 Andres NoetzliRemove examples that use the old API (#8486)
2022-03-31 Aina Niemetzapi: Remove warning for Sort::instantiate(). (#8475)
2022-03-31 Andrew ReynoldsDo not export dt.size (#8483)
2022-03-31 Andrew ReynoldsFix check for whether PI is reduced (#8485)
2022-03-31 Mathias Preinerci: Fix typo in update-pr job. (#8492)
2022-03-31 Gereon KremerImprove documentation for Statistics in C++ API (#8476)
2022-03-31 Haniel Barbosa[proofs] Adding post-visit processing to proof node...
2022-03-31 Andres NoetzliRemove support for Python 2.x (#8488)
2022-03-31 mudathirmahgoubAdd examples/bags.cpp (#8463)
2022-03-31 Andres NoetzliFix Java examples (#8484)
2022-03-31 Andrew ReynoldsFix lower vs upper bound issue for eager RE conflicts...
2022-03-31 Gereon KremerInstall necessary packages (#8479)
2022-03-31 Gereon KremerOnly run update-pr for normal commits on main (#8478)
2022-03-31 Gereon KremerImprove documentation for OptionInfo (#8474)
2022-03-31 Andres NoetzliMove Java package to `io.github.cvc5` (#8469)
2022-03-31 Haniel Barbosa[proofs] [doc] Documenting arrays, bit-vectors, datatyp...
2022-03-31 Haniel Barbosa[proofs] [doc] Document equality rules (#8462)
2022-03-31 Mathias Preinerdocs: Remove api namespace. (#8455)
2022-03-31 Andrew ReynoldsFix non-termination in the strings rewriter (#8438)
2022-03-31 Aina Niemetzapi: Mark experimental kinds. (#8464)
2022-03-31 Mathias PreinerStart post-release for 0.0.8
2022-03-31 Mathias PreinerBump version to 0.0.8
2022-03-31 Mathias Preinerci: Do not cancel jobs on main branch. (#8471)
2022-03-31 Andrew ReynoldsFix case of Boolean skolem for ground term E-matching...
2022-03-31 Mathias Preinerci: Update older PRs first. (#8477)
2022-03-31 Mathias Preinerapi: Remove isUninterpretedSortParameterized from heade...
2022-03-30 Gereon KremerAllow for multiple (equal) base model values (#8467)
2022-03-30 Mathias PreinerExclude competition build for issue8377-resolve-indexed...
2022-03-30 Mathias PreinerMove cvc5::internal::context to cvc5::context. (#8451)
2022-03-30 mudathirmahgoubPatch cross reference in Kind.java documentation (...
2022-03-30 Aina Niemetzdocs: Add bags to list of theory references. (#8461)
2022-03-30 Aina Niemetzapi: Add Sort::getUninterpretedSortConstructor(). ...
2022-03-30 Andrew ReynoldsFix policy for purifying arguments of exp (#8416)
2022-03-30 Andrew ReynoldsFixes for sygus-inst (#8448)
2022-03-30 Andrew ReynoldsFix subtype issue in cegqi arithmetic (#8440)
2022-03-30 Aina NiemetzTypeNode: Unify functions to instantiate parametric...
2022-03-30 Andres Noetzli[API] Move `UnknownExplanation` to `cvc5_types.h` ...
2022-03-30 Haniel Barbosa[proof] [doc] Document external proof rules (#8439)
2022-03-30 Mathias PreinerMove cvc5::internal::main to cvc5::main. (#8454)
2022-03-30 yoni206Add information for cardinality constraint to the Pytho...
2022-03-30 yoni206Adding some missing python API methods and tests (...
2022-03-30 Andrew ReynoldsChange tuple tokens and update datatypes theory ref...
2022-03-30 Andrew ReynoldsAdd LFSC to internal proof checker (#8442)
2022-03-30 mudathirmahgoubFix some documentation warnings (#8453)
next