projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2022-04-22 Andrew ReynoldsAdd `deep-restart` option (#8644) commit | commitdiff | tree
2022-04-21 Abdalrhman... Add tester for LFSC printer. (#8606) commit | commitdiff | tree
2022-04-21 Andres Noetzli[Seq] Remove `SkolemCache::mkSkolemSeqNth()` (#8643) commit | commitdiff | tree
2022-04-21 mudathirmahgoubAdd bag.partition evaluation (#8637) commit | commitdiff | tree
2022-04-20 Andrew ReynoldsAdd utilities in preparation for deep restarts (#8642) commit | commitdiff | tree
2022-04-20 Andres NoetzliRemove unused `SEQ_NTH_TOTAL` kind (#8048) commit | commitdiff | tree
2022-04-20 Andres NoetzliImprove handling of `(push)` and `(pop)` (#8641) commit | commitdiff | tree
2022-04-20 Andrew ReynoldsAdd declare-oracle-fun command (#8621) commit | commitdiff | tree
2022-04-20 Andrew ReynoldsMinor simplifications for datatype selector triggers... commit | commitdiff | tree
2022-04-20 yoni206int-blaster: direct support for bvcomp (#8640) commit | commitdiff | tree
2022-04-20 yoni206Remove redundant assertion in int-blaster (#8639) commit | commitdiff | tree
2022-04-20 Andrew ReynoldsUpdates to zero level learner (#8597) commit | commitdiff | tree
2022-04-19 Andrew ReynoldsAvoid trivial equalities in explanation of SETS_CARD_CY... commit | commitdiff | tree
2022-04-19 Andrew ReynoldsSimplify implementation of subtype methods in TypeNode... commit | commitdiff | tree
2022-04-19 mudathirmahgoubAdd table.project evaluator (#8632) commit | commitdiff | tree
2022-04-19 Andrew ReynoldsMove linear arithmetic solver to theory::arith::linear... commit | commitdiff | tree
2022-04-19 Andrew ReynoldsGeneralize concat conflict for sequences in LFSC (... commit | commitdiff | tree
2022-04-18 Abdalrhman... Remove instances of `check-proofs` in regressions.... commit | commitdiff | tree
2022-04-18 Andrew ReynoldsAdd some missing FP symbols to LFSC (#8629) commit | commitdiff | tree
2022-04-18 Andrew ReynoldsDistinguish name variants for types in LFSC node conver... commit | commitdiff | tree
2022-04-18 Andrew ReynoldsMake more utilities distinguish Int and Real (#8626) commit | commitdiff | tree
2022-04-18 Andrew ReynoldsSimplify management of separation logic heap (#8580) commit | commitdiff | tree
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
next