projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2022-04-18 Andres NoetzliRemove support for unused `declare-*` commands (#8623) commit | commitdiff | tree
2022-04-14 Andrew ReynoldsFix internal type issue for congruence over quantifiers... commit | commitdiff | tree
2022-04-14 Andrew ReynoldsImplement internal support for (definitional) satisfiab... commit | commitdiff | tree
2022-04-14 Andrew ReynoldsMake LFSC printer robust to internal types (#8616) commit | commitdiff | tree
2022-04-14 Andrew ReynoldsImplement internal support for synthesis modulo oracles... commit | commitdiff | tree
2022-04-14 Andrew ReynoldsRemove static calls to rewrite involving array constant... commit | commitdiff | tree
2022-04-14 Andrew ReynoldsImprovements to phase shifting + purification lemmas... commit | commitdiff | tree
2022-04-14 Amalee WilsonRevised partitioning (#8143) commit | commitdiff | tree
2022-04-14 vinciusb[proofs] [dot] New way to traverse the proof when print... commit | commitdiff | tree
2022-04-14 Andrew ReynoldsIntegrate oracle checker into quantifiers term registry... commit | commitdiff | tree
2022-04-14 Andrew ReynoldsFix spurious assertion involving subtypes (#8611) commit | commitdiff | tree
2022-04-14 Andrew ReynoldsUpdate LFSC version (#8614) commit | commitdiff | tree
2022-04-13 mudathirmahgoubAdd Relation and Table types to SMTLib parser (#8605) commit | commitdiff | tree
2022-04-13 Andrew ReynoldsFix type issue for FP constants in LFSC node converter... commit | commitdiff | tree
2022-04-12 Andrew ReynoldsFix spurious assertion failure caused by subtyping... commit | commitdiff | tree
2022-04-12 Andrew ReynoldsFix type issue for LFSC null terminator (#8607) commit | commitdiff | tree
2022-04-12 Andrew ReynoldsAdd oracle checker utility (#8603) commit | commitdiff | tree
2022-04-12 Andrew ReynoldsAdd oracle caller utility (#8599) commit | commitdiff | tree
2022-04-12 Andrew ReynoldsMaking some benchmarks SMT-LIB compliant for subtypes... commit | commitdiff | tree
2022-04-12 Andrew ReynoldsFix more misuses of arithmetic subtypes (#8601) commit | commitdiff | tree
2022-04-12 vinciusb[proofs] [dot] Print nodes clusters at dot format ... commit | commitdiff | tree
2022-04-11 Andrew ReynoldsMore cleaning uses of arithmetic subtyping (#8595) commit | commitdiff | tree
2022-04-11 Andrew ReynoldsAdd oracle engine to quantifiers engine (#8589) commit | commitdiff | tree
2022-04-11 Andrew ReynoldsRemove spurious case of ppRewrite (#8596) commit | commitdiff | tree
2022-04-11 Andrew ReynoldsAdd learned literal type and prop learned database... commit | commitdiff | tree
2022-04-08 Andres NoetzliSimplify parser (#8592) commit | commitdiff | tree
2022-04-08 Andrew ReynoldsMinor refactoring of smt2 printer (#8588) commit | commitdiff | tree
2022-04-08 Andrew ReynoldsDo not allow unresolved sorts in smt2 (#8587) commit | commitdiff | tree
2022-04-08 Andrew ReynoldsEliminate more uses of CONST_RATIONAL (#8590) commit | commitdiff | tree
2022-04-08 Andrew ReynoldsProperly parse numerals as real when integers are disab... commit | commitdiff | tree
2022-04-07 Andrew ReynoldsGeneralization for sygus verify utility (#8586) commit | commitdiff | tree
2022-04-07 Andrew ReynoldsInternal representation of oracle interface quantifiers... commit | commitdiff | tree
2022-04-07 Andrew ReynoldsAdd method to get leaves of a NodeTrie (#8583) commit | commitdiff | tree
2022-04-07 Andrew ReynoldsMake sets and bags operators left-associative (#8584) commit | commitdiff | tree
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
next