projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit
[cvc5.git] / src /
2022-04-05 Aina Niemetzapi: Fix doc generation for kinds in java API. (#8576) tree | commitdiff
2022-04-05 Mathias PreinerUpdate copyright headers for release 1.0 (#8539) tree | commitdiff
2022-04-05 Andrew ReynoldsMake inst constant attribute robust to purification... tree | commitdiff
2022-04-05 Gereon KremerMake rewriter more robust against RAN becoming rational... tree | commitdiff
2022-04-05 Aina Niemetzapi: More fixes in the java API. (#8571) tree | commitdiff
2022-04-05 Andrew ReynoldsBe permissive for subtyping in function definitions... tree | commitdiff
2022-04-05 Aina Niemetzapi: More fixes in C++ API docs. (#8570) tree | commitdiff
2022-04-05 Aina Niemetzapi: Fix OptionInfo docs for java API. (#8569) tree | commitdiff
2022-04-05 Aina Niemetzapi: Fixes in docs for Op. (#8565) tree | commitdiff
2022-04-05 Aina Niemetzapi: Fixes for Grammar docs in java API. (#8563) tree | commitdiff
2022-04-05 Aina Niemetzapi: Fixes in java api docs. (#8562) tree | commitdiff
2022-04-05 Aina Niemetzapi: Fixes in docs for DatatypeConstructor. (#8561) tree | commitdiff
2022-04-04 Aina Niemetzapi: More fixes in docs. (#8559) tree | commitdiff
2022-04-04 Aina Niemetzapi: First batch of fixes in the api docs. (#8558) tree | commitdiff
2022-04-04 Gereon KremerFix links when converting kinds documentation to python... tree | commitdiff
2022-04-04 Aina Niemetzpython api: More fixes. (#8556) tree | commitdiff
2022-04-04 Gereon KremerRemove duplicate lines (#8552) tree | commitdiff
2022-04-04 Aina Niemetzapi: Various fixes in Python documentation. (#8554) tree | commitdiff
2022-04-04 Gereon KremerVarious improvements and fixes in the documentation... tree | commitdiff
2022-04-04 Andrew ReynoldsRename getInstantiatedConstructorTerm to getInstantiate... tree | commitdiff
2022-04-04 Andrew ReynoldsUse raw symbols in proofs (#8550) tree | commitdiff
2022-04-04 Haniel Barbosa[proofs] [sat] Make SAT assumption bookeeping robust... tree | commitdiff
2022-04-04 Andrew ReynoldsFix for get-value with empty uninterpreted sort domain... tree | commitdiff
2022-04-02 Andrew ReynoldsRename mkSygusGrammar to mkGrammar (#8544) tree | commitdiff
2022-04-02 Andrew ReynoldsRemove variant of mkDatatypeDecl with one sort paramete... tree | commitdiff
2022-04-02 Aina Niemetzapi: Rename get(Selector|Constructor)Term() to getTerm... tree | commitdiff
2022-04-02 Gereon KremerFollow renaming within pythonic API (#8532) tree | commitdiff
2022-04-02 Andrew ReynoldsIgnore irrelevant exponential terms (#8534) tree | commitdiff
2022-04-02 Aina Niemetzapi: Remove DatatypeConstructor::getSelectorTerm()... tree | commitdiff
2022-04-02 Andrew ReynoldsRequire that used model values are constant in CEGQI... tree | commitdiff
2022-04-02 Andrew ReynoldsAdd a few miscellaneous pieces of documentation (#8533) tree | commitdiff
2022-04-02 mudathirmahgoubRemove java API methods that accepts lists as arguments... tree | commitdiff
2022-04-02 Andrew ReynoldsAdd more explanations in the API (#8493) tree | commitdiff
2022-04-01 Gereon KremerSimplify the python base API in a few places (#8514) tree | commitdiff
2022-04-01 Andrew ReynoldsSimplifications to the datatypes API (#8511) tree | commitdiff
2022-04-01 Mathias Preinerdocs: Document UnknownExplanation. (#8508) tree | commitdiff
2022-04-01 Gereon KremerPrevent using the coverings solver with extended operat... tree | commitdiff
2022-04-01 Aina Niemetzapi kinds: Refactor docs for kinds to properly render... tree | commitdiff
2022-04-01 Aina Niemetzapi: Remove Datatype::getConstructorTerm(). (#8529) tree | commitdiff
2022-04-01 Haniel Barbosa[proofs] [doc] Document string rules (#8498) tree | commitdiff
2022-04-01 Gereon KremerDocument special member functions in python API (#8513) tree | commitdiff
2022-04-01 Aina NiemetzPython API: Do not rename enumerators. (#8507) tree | commitdiff
2022-04-01 Haniel Barbosa[proofs] [alethe] Fix Alethe post-processor (#8525) tree | commitdiff
2022-04-01 Andrew ReynoldsInternal simplifications to constructing datatypes... tree | commitdiff
2022-04-01 Gereon KremerRemove decorator from python API (#8505) tree | commitdiff
2022-04-01 Andres Noetzli[API] Add mode argument for `Solver::blockModel()`... tree | commitdiff
2022-04-01 Andres NoetzliRemove `UnknownExplanation::NO_STATUS` (#8518) tree | commitdiff
2022-04-01 mudathirmahgoubFix javadoc custom tag warning (#8502) tree | commitdiff
2022-04-01 Mathias Preinerdocs: Add documentation for modes. (#8509) tree | commitdiff
2022-04-01 Aina NiemetzPython api: Various fixes in docs. (#8480) tree | commitdiff
2022-04-01 Andres Noetzli[API] Remove redundant version of `mkFunctionSort`... tree | commitdiff
2022-04-01 Andrew ReynoldsFix sygus-inst when combined with bounded string quanti... tree | commitdiff
2022-04-01 Mathias Preinerapi: Swap arguments of declareSygusVar. (#8499) tree | commitdiff
2022-04-01 Mathias Preinerapi: Use std::optional for symbols in mk* functions... tree | commitdiff
2022-03-31 Andrew ReynoldsHandled quoted symbols in indexed operators (#8491) tree | commitdiff
2022-03-31 Aina NiemetzVarious fixes related to isDatatypeXXX checks. (#8473) tree | commitdiff
2022-03-31 Aina NiemetzSort, TypeNode: Rename functions related to datatypes... tree | commitdiff
2022-03-31 Andrew ReynoldsDisable minisat variable elimination when a parametric... tree | commitdiff
2022-03-31 Aina Niemetzapi: Remove warning for Sort::instantiate(). (#8475) tree | commitdiff
2022-03-31 Andrew ReynoldsDo not export dt.size (#8483) tree | commitdiff
2022-03-31 Andrew ReynoldsFix check for whether PI is reduced (#8485) tree | commitdiff
2022-03-31 Gereon KremerImprove documentation for Statistics in C++ API (#8476) tree | commitdiff
2022-03-31 Haniel Barbosa[proofs] Adding post-visit processing to proof node... tree | commitdiff
2022-03-31 Andres NoetzliFix Java examples (#8484) tree | commitdiff
2022-03-31 Andrew ReynoldsFix lower vs upper bound issue for eager RE conflicts... tree | commitdiff
2022-03-31 Gereon KremerImprove documentation for OptionInfo (#8474) tree | commitdiff
2022-03-31 Andres NoetzliMove Java package to `io.github.cvc5` (#8469) tree | commitdiff
2022-03-31 Haniel Barbosa[proofs] [doc] Documenting arrays, bit-vectors, datatyp... tree | commitdiff
2022-03-31 Haniel Barbosa[proofs] [doc] Document equality rules (#8462) tree | commitdiff
2022-03-31 Andrew ReynoldsFix non-termination in the strings rewriter (#8438) tree | commitdiff
2022-03-31 Aina Niemetzapi: Mark experimental kinds. (#8464) tree | commitdiff
2022-03-31 Andrew ReynoldsFix case of Boolean skolem for ground term E-matching... tree | commitdiff
2022-03-31 Mathias Preinerapi: Remove isUninterpretedSortParameterized from heade... tree | commitdiff
2022-03-30 Gereon KremerAllow for multiple (equal) base model values (#8467) tree | commitdiff
2022-03-30 Mathias PreinerMove cvc5::internal::context to cvc5::context. (#8451) tree | commitdiff
2022-03-30 mudathirmahgoubPatch cross reference in Kind.java documentation (... tree | commitdiff
2022-03-30 Aina Niemetzapi: Add Sort::getUninterpretedSortConstructor(). ... tree | commitdiff
2022-03-30 Andrew ReynoldsFix policy for purifying arguments of exp (#8416) tree | commitdiff
2022-03-30 Andrew ReynoldsFixes for sygus-inst (#8448) tree | commitdiff
2022-03-30 Andrew ReynoldsFix subtype issue in cegqi arithmetic (#8440) tree | commitdiff
2022-03-30 Aina NiemetzTypeNode: Unify functions to instantiate parametric... tree | commitdiff
2022-03-30 Andres Noetzli[API] Move `UnknownExplanation` to `cvc5_types.h` ... tree | commitdiff
2022-03-30 Haniel Barbosa[proof] [doc] Document external proof rules (#8439) tree | commitdiff
2022-03-30 Mathias PreinerMove cvc5::internal::main to cvc5::main. (#8454) tree | commitdiff
2022-03-30 yoni206Add information for cardinality constraint to the Pytho... tree | commitdiff
2022-03-30 yoni206Adding some missing python API methods and tests (... tree | commitdiff
2022-03-30 Andrew ReynoldsChange tuple tokens and update datatypes theory ref... tree | commitdiff
2022-03-30 Andrew ReynoldsAdd LFSC to internal proof checker (#8442) tree | commitdiff
2022-03-30 mudathirmahgoubFix some documentation warnings (#8453) tree | commitdiff
2022-03-30 Mathias PreinerRename master branch to main. (#8452) tree | commitdiff
2022-03-30 Abdalrhman MohamedShow the code for utilities in the docs. (#8387) tree | commitdiff
2022-03-30 Aina NiemetzTypeNode: Rename isSort() and getSortConstructorArity... tree | commitdiff
2022-03-29 Mathias PreinerIntroduce internal namespace and remove api namespace... tree | commitdiff
2022-03-29 Aina Niemetzapi: Add Sort::getInstantiatedParameters(). (#8445) tree | commitdiff
2022-03-29 yoni206bv-to-int: fix translation of bvneg (#8437) tree | commitdiff
2022-03-29 Andrew ReynoldsMake ensureTermSort private (#8436) tree | commitdiff
2022-03-29 Andrew ReynoldsAdd information for cardinality constraint to the API... tree | commitdiff
2022-03-29 Andrew ReynoldsMake ProofNodeManager mkScope more robust (#8435) tree | commitdiff
2022-03-29 Andrew ReynoldsFix issue related to use of Boolean term variable for... tree | commitdiff
2022-03-29 Andres Noetzli[API] Add `{is,get}RoundingModeValue()` (#8429) tree | commitdiff
next