projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2021-06-22 Andrew ReynoldsSet up fine grained equality notifications (#6734) commit | commitdiff | tree
2021-06-21 Mathias PreinerUpdate to CaDiCaL 1.4.1. (#6780) commit | commitdiff | tree
2021-06-21 Aina Niemetzdocs: Split out and merge C++ class hierarchy. (#6781) commit | commitdiff | tree
2021-06-21 Andres Noetzli[Attributes] Remove parameter `context_dependent` ... commit | commitdiff | tree
2021-06-21 Mathias PreinerFix model issues with --bitblast=eager. (#6753) commit | commitdiff | tree
2021-06-21 mudathirmahgoubAdd Grammar.java to the java API (#6388) commit | commitdiff | tree
2021-06-21 Mathias PreinerMove cnfConversionTime statistic to CnfStream. (#6769) commit | commitdiff | tree
2021-06-21 Mathias PreinerMake CaDiCaL a required dependency. (#6761) commit | commitdiff | tree
2021-06-21 Haniel Barbosa[proof] Fix documentation of array rule (#6770) commit | commitdiff | tree
2021-06-19 Ying ShengAdding python API test part 5 (#6743) commit | commitdiff | tree
2021-06-19 Aina Niemetzdocs: Fix config to produce unique Sphinx section label... commit | commitdiff | tree
2021-06-19 Andres Noetzli[CI] Build with all available cores (#6768) commit | commitdiff | tree
2021-06-19 Aina Niemetzdocs: Remove 'View page source' link in right corner... commit | commitdiff | tree
2021-06-18 Mathias PreinerMake CnfStream::toCNF iterative (#6757) commit | commitdiff | tree
2021-06-18 Andres NoetzliRemove obsolete libpoly patch (#6762) commit | commitdiff | tree
2021-06-18 Andres NoetzliFix CaDiCaL build on Windows (#6764) commit | commitdiff | tree
2021-06-18 Andres NoetzliFix build without libpoly (#6759) commit | commitdiff | tree
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) commit | commitdiff | tree
2021-06-16 Andres NoetzliArchive SMT-COMP 2021 run scripts (#6748) commit | commitdiff | tree
2021-06-16 Gereon KremerProperly consider aliases in option handlers (#6683) commit | commitdiff | tree
2021-06-15 Ouyancheng[Optimization] Use Result in OptimizationResult (#6740) commit | commitdiff | tree
2021-06-15 yoni206pow2: adding a kind, inference rules, and some implemen... commit | commitdiff | tree
2021-06-15 Gereon KremerUpdate to a more recent libpoly version. (#6730) commit | commitdiff | tree
2021-06-15 Gereon KremerAdd cocoalib (#6731) commit | commitdiff | tree
2021-06-15 Gereon KremerRemove public option wrappers (#6716) commit | commitdiff | tree
2021-06-15 Aina Niemetzdocs: Fix reference in sep logic reference. (#6747) commit | commitdiff | tree
2021-06-15 Haniel BarbosaCVC4 -> cvc5 in cpp API examples (#6746) commit | commitdiff | tree
2021-06-15 Aina Niemetzdocs: Add references instead of links in theory referen... commit | commitdiff | tree
2021-06-15 yoni206An example for a quick start guide (#6686) commit | commitdiff | tree
2021-06-14 Andres NoetzliFinal update to SMT-COMP 2021 options (#6739) commit | commitdiff | tree
2021-06-13 Andrew ReynoldsMinor simplifications to LogicInfo (#6737) commit | commitdiff | tree
2021-06-11 Haniel BarbosaBetter support for HOL parsing and set up (#6697) commit | commitdiff | tree
2021-06-11 Gereon KremerAdd skeleton for new Lazard evaluation (#6732) commit | commitdiff | tree
2021-06-11 Andrew ReynoldsRemove support for lazy BV extended function reductions... commit | commitdiff | tree
2021-06-10 Andrew ReynoldsEnsure bv2nat and int2bv are not rewritten when using... commit | commitdiff | tree
2021-06-10 Mathias Preinersmtcomp: Change some BV configs for SQ and INC track... commit | commitdiff | tree
2021-06-09 Aina Niemetzdocs: Migrate sets and relations theory reference.... commit | commitdiff | tree
2021-06-09 Andres NoetzliMake `--solve-int-as-bv=X` robust to rewriting (#6722) commit | commitdiff | tree
2021-06-09 Andres NoetzliUpdate CVC4 URLs/macros (#6666) commit | commitdiff | tree
2021-06-09 Andres NoetzliReorder ITE rewrites (#6723) commit | commitdiff | tree
2021-06-09 Gereon KremerMake squasing more robust (#6713) commit | commitdiff | tree
2021-06-09 Andrew ReynoldsIntegrate learned literal manager into preprocessing... commit | commitdiff | tree
2021-06-09 Andrew ReynoldsFixes related to printing tuples, define-fun commands... commit | commitdiff | tree
2021-06-09 Gereon KremerPush complex check inside GetInstantiationsCommand... commit | commitdiff | tree
2021-06-09 Andres NoetzliUpdate options for SMT-COMP (#6704) commit | commitdiff | tree
2021-06-09 Ouyancheng[Optimization] support for push/pop (#6706) commit | commitdiff | tree
2021-06-09 Haniel BarbosaRemoving spurious HO checks (#6707) commit | commitdiff | tree
2021-06-09 Gereon KremerRequire statistics for regression (#6714) commit | commitdiff | tree
2021-06-09 Aina Niemetzdocs: Migrate separation logic theory reference. (... commit | commitdiff | tree
2021-06-09 Andres Noetzlidocs: Fix `Kind` description (#6712) commit | commitdiff | tree
2021-06-08 Andrew ReynoldsFix for 2 dimensional dependent bounded quantifiers... commit | commitdiff | tree
2021-06-08 Andrew ReynoldsAdd learned literal manager utility (#6709) commit | commitdiff | tree
2021-06-08 Gereon KremerFix statistics option handler (#6703) commit | commitdiff | tree
2021-06-08 Gereon KremerMake env hold a pointer to the original options to... commit | commitdiff | tree
2021-06-08 Gereon KremerRemove `binary_name` option (#6693) commit | commitdiff | tree
2021-06-08 Alex OzdemirChange output of getRealValue to a fraction. (#6692) commit | commitdiff | tree
2021-06-08 Andrew ReynoldsMake TheoryUF compatible with central equality engine... commit | commitdiff | tree
2021-06-08 Andrew ReynoldsFix str.update reduction (#6696) commit | commitdiff | tree
2021-06-07 Andrew Reynolds(proof-new) Fix missing connection in trust substitutio... commit | commitdiff | tree
2021-06-07 Gereon KremerRemove `Options::wasSetByUser()` (#6682) commit | commitdiff | tree
2021-06-07 Andrew Reynolds(proof-new) Lazy proof chain debug names (#6680) commit | commitdiff | tree
2021-06-06 Gereon KremerSupport public option modules (#6691) commit | commitdiff | tree
2021-06-05 Andres NoetzliRemove unwanted side effects in `SPLIT_EQ_STRIP_L`... commit | commitdiff | tree
2021-06-04 Andrew ReynoldsMiscellaneous changes from central ee branch (#6687) commit | commitdiff | tree
2021-06-04 yoni206pow2: header file for pow2 solver (#6676) commit | commitdiff | tree
2021-06-04 Mathias Preinerbv: Enable bitblast solver by default. (#6660) commit | commitdiff | tree
2021-06-04 Gereon KremerAdd missing dereference (#6684) commit | commitdiff | tree
2021-06-04 Andres NoetzliFix handling of start index in `str.indexof_re` (#6674) commit | commitdiff | tree
2021-06-04 Gereon KremerSome cleanup in `mkoptions.py` (#6667) commit | commitdiff | tree
2021-06-04 Aina Niemetzdocs: Migrate datatypes theory reference. (#6662) commit | commitdiff | tree
2021-06-03 yoni206Adding unit tests for the datatypes python API (#6658) commit | commitdiff | tree
2021-06-03 Andrew ReynoldsSimplify automatic set-logic in smt2 parser (#6678) commit | commitdiff | tree
2021-06-03 Andres Noetzli[GitHub Actions] Make caching of dependencies depend... commit | commitdiff | tree
2021-06-03 yoni206Renaming pow2 to p2 in regression tests (#6675) commit | commitdiff | tree
2021-06-02 Andres NoetzliRemove references to `bv-div-zero-const` in docs (... commit | commitdiff | tree
2021-06-02 Andrew ReynoldsFixes for printing define-fun-rec (#6673) commit | commitdiff | tree
2021-06-02 Andres NoetzliRemove option to ignore negative memberships (#6665) commit | commitdiff | tree
2021-06-02 yoni206Adding getters to the python API and testing them ... commit | commitdiff | tree
2021-06-02 Aina NiemetzRemove redundant logic ALL_SUPPORTED. (#6664) commit | commitdiff | tree
2021-06-02 yoni206Move `toPythonObj` tests to the new API unit test direc... commit | commitdiff | tree
2021-06-02 Gereon KremerUse proper variable name (#6670) commit | commitdiff | tree
2021-06-02 Andrew ReynoldsFix unsat core proofs (#6655) commit | commitdiff | tree
2021-06-02 Andres NoetzliMake `STRINGS_CTN_DECOMPOSE` an explicit conflict ... commit | commitdiff | tree
2021-06-02 Gereon KremerRemove `Options::operator[]` (#6649) commit | commitdiff | tree
2021-06-02 Gereon KremerMove public wrapper functions out of options class... commit | commitdiff | tree
2021-06-02 Gereon KremerFix issues with double negation in circuit propagator... commit | commitdiff | tree
2021-06-02 Gereon KremerFix issues when poly is disabled (#6668) commit | commitdiff | tree
2021-06-02 Gereon KremerMake `Options::assign()` specializations free functions... commit | commitdiff | tree
2021-06-02 Gereon KremerDo manual squash cleanup for docs (#6646) commit | commitdiff | tree
2021-06-02 Aina Niemetzdocs: Migrate input languages page. (#6659) commit | commitdiff | tree
2021-06-02 Aina Niemetzdocs: Restructure index page, fix style issue. (#6657) commit | commitdiff | tree
2021-06-01 yoni206Some additions to the datatypes python API (#6640) commit | commitdiff | tree
2021-06-01 Andrew ReynoldsUse top-level substitutions in ITE simp (#6651) commit | commitdiff | tree
2021-06-01 Andrew ReynoldsDisable timeout regressions (#6650) commit | commitdiff | tree
2021-06-01 yoni206FP value support in python API (#6644) commit | commitdiff | tree
2021-05-31 Gereon KremerRemove Options::ref() (#6647) commit | commitdiff | tree
2021-05-31 Andres NoetzliRemove invalid options from run scripts (#6645) commit | commitdiff | tree
2021-05-31 yoni206Update `toPythonObj` to use new getters -- part 1 ... commit | commitdiff | tree
2021-05-31 Andres NoetzliCompute model values for nested sequences in order... commit | commitdiff | tree
2021-05-29 Gereon KremerRemove `Options::set()` method (#6556) commit | commitdiff | tree
next