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