projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2022-04-07 Andrew ReynoldsEliminate SmtSolver dependency on SolverEngineState... commit | commitdiff | tree
2022-04-07 Andrew ReynoldsMinor fix for printing nullary operators in smt2 (... commit | commitdiff | tree
2022-04-07 Andrew ReynoldsFix proof checker for SUBS (#8578) commit | commitdiff | tree
2022-04-06 Andrew ReynoldsFixes for LFSC printing and signatures (#8579) commit | commitdiff | tree
2022-04-05 Mathias PreinerStart post-release for 1.0.0 commit | commitdiff | tree
2022-04-05 Mathias PreinerBump version to 1.0.0 cvc5-1.0.0 commit | commitdiff | tree
2022-04-05 Aina Niemetzapi: Fix doc generation for kinds in java API. (#8576) commit | commitdiff | tree
2022-04-05 Mathias PreinerUpdate copyright headers for release 1.0 (#8539) commit | commitdiff | tree
2022-04-05 Mathias PreinerUpdate NEWS for cvc5 1.0. (#8460) commit | commitdiff | tree
2022-04-05 Andrew ReynoldsMake inst constant attribute robust to purification... commit | commitdiff | tree
2022-04-05 Gereon KremerMake rewriter more robust against RAN becoming rational... commit | commitdiff | tree
2022-04-05 Aina Niemetzapi: More fixes in the java API. (#8571) commit | commitdiff | tree
2022-04-05 Andrew ReynoldsBe permissive for subtyping in function definitions... commit | commitdiff | tree
2022-04-05 Aina Niemetzapi: More fixes in C++ API docs. (#8570) commit | commitdiff | tree
2022-04-05 Alex OzdemirWrite-up for Pythonic API quickstart (#8566) commit | commitdiff | tree
2022-04-05 Mathias Preinerdocs: Fix mkTerm calls in theory documentation. (#8567) commit | commitdiff | tree
2022-04-05 Aina Niemetzapi: Fix OptionInfo docs for java API. (#8569) commit | commitdiff | tree
2022-04-05 Aina Niemetzapi: Fixes in docs for Op. (#8565) commit | commitdiff | tree
2022-04-05 Aina Niemetzapi: Fixes for Grammar docs in java API. (#8563) commit | commitdiff | tree
2022-04-05 Aina Niemetzapi: Fixes in java api docs. (#8562) commit | commitdiff | tree
2022-04-05 Aina Niemetzapi: Fixes in docs for DatatypeConstructor. (#8561) commit | commitdiff | tree
2022-04-05 mudathirmahgoubDocs: remove api from package name in java.rst (#8560) commit | commitdiff | tree
2022-04-04 Aina Niemetzapi: More fixes in docs. (#8559) commit | commitdiff | tree
2022-04-04 Aina Niemetzapi: First batch of fixes in the api docs. (#8558) commit | commitdiff | tree
2022-04-04 Gereon KremerFix links when converting kinds documentation to python... commit | commitdiff | tree
2022-04-04 Aina Niemetzpython api: More fixes. (#8556) commit | commitdiff | tree
2022-04-04 Mathias PreinerStart post-release for 0.0.12 commit | commitdiff | tree
2022-04-04 Mathias PreinerBump version to 0.0.12 commit | commitdiff | tree
2022-04-04 Gereon KremerMaintain symlink to docs for latest release (#8555) commit | commitdiff | tree
2022-04-04 Gereon KremerRemove duplicate lines (#8552) commit | commitdiff | tree
2022-04-04 Alex OzdemirBump Pythonic (transcendentals) & exception example... commit | commitdiff | tree
2022-04-04 Aina Niemetzapi: Various fixes in Python documentation. (#8554) commit | commitdiff | tree
2022-04-04 Gereon KremerVarious improvements and fixes in the documentation... commit | commitdiff | tree
2022-04-04 Andrew ReynoldsRename getInstantiatedConstructorTerm to getInstantiate... commit | commitdiff | tree
2022-04-04 Andrew ReynoldsUse raw symbols in proofs (#8550) commit | commitdiff | tree
2022-04-04 Haniel Barbosa[proofs] [sat] Make SAT assumption bookeeping robust... commit | commitdiff | tree
2022-04-04 Andrew ReynoldsFix for get-value with empty uninterpreted sort domain... commit | commitdiff | tree
2022-04-03 Mathias PreinerStart post-release for 0.0.11 commit | commitdiff | tree
2022-04-03 Mathias PreinerBump version to 0.0.11 commit | commitdiff | tree
2022-04-02 Gereon Kremeruse one process more than we have cores (#8545) commit | commitdiff | tree
2022-04-02 Andrew ReynoldsRename mkSygusGrammar to mkGrammar (#8544) commit | commitdiff | tree
2022-04-02 Andrew ReynoldsRemove variant of mkDatatypeDecl with one sort paramete... commit | commitdiff | tree
2022-04-02 Aina Niemetzapi: Rename get(Selector|Constructor)Term() to getTerm... commit | commitdiff | tree
2022-04-02 Gereon KremerFollow renaming within pythonic API (#8532) commit | commitdiff | tree
2022-04-02 Gereon KremerAlways cancel already running CI runs on forks (#8542) commit | commitdiff | tree
2022-04-02 Cesare TinelliMinor edits in docs. (#8540) commit | commitdiff | tree
2022-04-02 Andrew ReynoldsIgnore irrelevant exponential terms (#8534) commit | commitdiff | tree
2022-04-02 Mathias Preinerdocs: Add Python installation instructions for pip... commit | commitdiff | tree
2022-04-02 Aina Niemetzapi: Remove DatatypeConstructor::getSelectorTerm()... commit | commitdiff | tree
2022-04-02 Andrew ReynoldsRequire that used model values are constant in CEGQI... commit | commitdiff | tree
2022-04-02 Andrew ReynoldsAdd a few miscellaneous pieces of documentation (#8533) commit | commitdiff | tree
2022-04-02 mudathirmahgoubRemove java API methods that accepts lists as arguments... commit | commitdiff | tree
2022-04-02 Andrew ReynoldsAdd more explanations in the API (#8493) commit | commitdiff | tree
2022-04-01 Gereon KremerSimplify the python base API in a few places (#8514) commit | commitdiff | tree
2022-04-01 Andrew ReynoldsSimplifications to the datatypes API (#8511) commit | commitdiff | tree
2022-04-01 Mathias Preinerdocs: Document UnknownExplanation. (#8508) commit | commitdiff | tree
2022-04-01 Gereon KremerPrevent using the coverings solver with extended operat... commit | commitdiff | tree
2022-04-01 Aina Niemetzapi kinds: Refactor docs for kinds to properly render... commit | commitdiff | tree
2022-04-01 Aina Niemetzapi: Remove Datatype::getConstructorTerm(). (#8529) commit | commitdiff | tree
2022-04-01 Haniel BarbosaReplace regression by minimized one via ddSMT (#8531) commit | commitdiff | tree
2022-04-01 Gereon KremerOnly run pypi packaging when release is published ... commit | commitdiff | tree
2022-04-01 Mathias Preinermake-release: Clarify instructions for pushing commits... commit | commitdiff | tree
2022-04-01 Haniel Barbosa[proofs] [doc] Document string rules (#8498) commit | commitdiff | tree
2022-04-01 Gereon KremerChange CI concurrency policy to not queue on main ... commit | commitdiff | tree
2022-04-01 Gereon KremerDocument special member functions in python API (#8513) commit | commitdiff | tree
2022-04-01 Aina NiemetzPython API: Do not rename enumerators. (#8507) commit | commitdiff | tree
2022-04-01 Haniel Barbosa[proofs] [alethe] Fix Alethe post-processor (#8525) commit | commitdiff | tree
2022-04-01 Mathias PreinerStart post-release for 0.0.10 commit | commitdiff | tree
2022-04-01 Mathias PreinerBump version to 0.0.10 commit | commitdiff | tree
2022-04-01 Andrew ReynoldsInternal simplifications to constructing datatypes... commit | commitdiff | tree
2022-04-01 Gereon KremerFix pypi packaging trigger again (#8512) commit | commitdiff | tree
2022-04-01 Haniel Barbosa[proofs] [doc] Minor changes to general proofs page... commit | commitdiff | tree
2022-04-01 Gereon KremerRemove decorator from python API (#8505) commit | commitdiff | tree
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
next