projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2018-07-25 Andrew Reynolds Move reg exp rewrites from prerewrite to postrewrite... commit | commitdiff | tree
2018-07-25 ayveejayPerforming clang-format on the original change-set... commit | commitdiff | tree
2018-07-25 Mathias PreinerUse CryptoMiniSat 5.6.3. (#2205) commit | commitdiff | tree
2018-07-24 Andrew ReynoldsImprovements to sets + cardinality + quantifiers (... commit | commitdiff | tree
2018-07-24 ayveejayAdding API access methods to get heap/nil expressions... commit | commitdiff | tree
2018-07-24 Aina Niemetz New C++ API: First batch of commands (SMT-LIB and... commit | commitdiff | tree
2018-07-23 Andrew Reynolds Improve rewriter for regular expression concatenation... commit | commitdiff | tree
2018-07-23 Andrew ReynoldsGeneralize symmetry detection for 1 symmetry variable... commit | commitdiff | tree
2018-07-23 Aina NiemetzNew C++ API: Implementation of Solver class: OpTerm... commit | commitdiff | tree
2018-07-23 Aina NiemetzNew C++ API: declare-datatype. (#2166) commit | commitdiff | tree
2018-07-23 Andrew Reynolds sygusComp2018: add regressions (#2191) commit | commitdiff | tree
2018-07-23 Andrew ReynoldsFix warning in sygus PBE (#2190) commit | commitdiff | tree
2018-07-22 Andrew Reynolds sygusComp2018: Improvements to CEGIS loop (#2187) commit | commitdiff | tree
2018-07-21 Andrew ReynoldsOptimizations and fixes for computing whether a type... commit | commitdiff | tree
2018-07-21 Andrew Reynolds sygusComp2018: refactor and improve sygus io utility... commit | commitdiff | tree
2018-07-21 yoni206Remove --no-check-proofs and --no-check-unsat-cores... commit | commitdiff | tree
2018-07-20 Andrew ReynoldsCleanup and additions for candidate generator (#2173) commit | commitdiff | tree
2018-07-20 Andrew Reynolds sygusComp2018: minor changes to repair constant utilit... commit | commitdiff | tree
2018-07-17 Andrew Reynolds sygusComp2018: pbe multi-enumerator fairness option... commit | commitdiff | tree
2018-07-17 yoni206Refactor sep-pre-skolem-emp preprocessing pass commit | commitdiff | tree
2018-07-17 Andrew ReynoldsMinor cleanup and fixes for conflict-based instantiatio... commit | commitdiff | tree
2018-07-17 Andrew ReynoldsDo extended rewrite on results of quantifier eliminatio... commit | commitdiff | tree
2018-07-17 Andrew Reynolds Purify applications of exp to transcendental arguments... commit | commitdiff | tree
2018-07-17 Andrew Reynolds sygusComp2018: update policies for solution reconstruc... commit | commitdiff | tree
2018-07-17 Andrew ReynoldssygusComp2018: Improvements to datatypes sygus solver... commit | commitdiff | tree
2018-07-17 Andrew ReynoldssygusComp 2018: updates to sygus term database (#2170) commit | commitdiff | tree
2018-07-15 Andres NoetzliAvoid ambiguous overloads in BitVector (#2169) commit | commitdiff | tree
2018-07-14 Andres NoetzliexportTo only if needed for --sygus-rr-synth-check... commit | commitdiff | tree
2018-07-14 Andrew ReynoldssygusComp2018: update semantics for declare-fun in... commit | commitdiff | tree
2018-07-13 Andrew ReynoldsFix and improve grammar normalization for any constant... commit | commitdiff | tree
2018-07-13 Andres NoetzliProperly clean up assertion stack in CnfProof (#2147) commit | commitdiff | tree
2018-07-13 Andrew Reynolds sygusComp2018: optimization for collect model info... commit | commitdiff | tree
2018-07-13 Aina NiemetzNew C++ API: Minor reorder. (#2163) commit | commitdiff | tree
2018-07-13 Aina NiemetzNew C++ API: Implementation of datatype classes. (... commit | commitdiff | tree
2018-07-13 Aina NiemetzNew C++ API: Implementation of Solver class: Consts... commit | commitdiff | tree
2018-07-11 Caleb DonovickMove rewrite to pass (#2128) commit | commitdiff | tree
2018-07-08 Andres NoetzliAdd more sophisticated floating-point sampler (#2155) commit | commitdiff | tree
2018-07-07 Andrew Reynolds sygusComp2018: improve extended rewriter for Bool... commit | commitdiff | tree
2018-07-06 Andrew ReynoldsSplit ext theory to own file and document (#1809) commit | commitdiff | tree
2018-07-06 MartinFeature/fp rewrite improvement (#2154) commit | commitdiff | tree
2018-07-06 Aina NiemetzNew C++ API: Implementation of Solver class: Term handl... commit | commitdiff | tree
2018-07-06 Aina NiemetzNew C++ API: Implementation of Solver class: Sort handl... commit | commitdiff | tree
2018-07-06 Andres NoetzliAdd option for timeout for rewrite candidate check... commit | commitdiff | tree
2018-07-06 Andrew ReynoldssygusComp2018: simplify beta reduction in uf rewriter... commit | commitdiff | tree
2018-07-05 Andrew Reynolds Make string length lemmas more robust to rewriting... commit | commitdiff | tree
2018-07-05 Andrew ReynoldsMinor changes to sygus-rr utilities to support floating... commit | commitdiff | tree
2018-07-05 Andres NoetzlisygusComp2018: Improve string rewriter (#2141) commit | commitdiff | tree
2018-07-04 Andrew ReynoldsMore cleanup in strings (#2138) commit | commitdiff | tree
2018-07-04 Aina NiemetzNew C++ API: Implementation of datatype declaration... commit | commitdiff | tree
2018-07-04 Andrew ReynoldsReorganize candidate rewrite rule filtering (#2116) commit | commitdiff | tree
2018-07-04 Andres NoetzliRemove unused CDVector (#2139) commit | commitdiff | tree
2018-07-04 Aina NiemetzNew C++ API: Implementation of OpTerm. (#2132) commit | commitdiff | tree
2018-07-04 Andrew ReynoldsFix fmf-fun for non-equality function definitions ... commit | commitdiff | tree
2018-07-03 Aina NiemetzNew C++ API: Implementation of Term. (#2131) commit | commitdiff | tree
2018-07-03 Aina NiemetzNew C++ API: Implementation of Kind maps. (#2130) commit | commitdiff | tree
2018-07-03 Aina NiemetzFix datatypes example: nil constructor was missing... commit | commitdiff | tree
2018-07-03 Andrew ReynoldssygusComp2018: update sygus-related options setting... commit | commitdiff | tree
2018-07-03 Andrew ReynoldsRemove miscellaneous dead and unused code from quantifi... commit | commitdiff | tree
2018-07-03 Andres NoetzliAdd regression test for issue #1986 (#2114) commit | commitdiff | tree
2018-07-02 Aina NiemetzRefactor ApplySubsts preprocessing pass. (#2120) commit | commitdiff | tree
2018-07-02 Aina NiemetzNew C++ API: Implementation of Sort. (#2122) commit | commitdiff | tree
2018-07-02 Andrew ReynoldsRemove some dead code from theory strings (#2125) commit | commitdiff | tree
2018-07-02 Caleb DonovickAdd missing include (#2127) commit | commitdiff | tree
2018-07-02 Andrew ReynoldsModify cegqi heuristic for finite datatypes (#2126) commit | commitdiff | tree
2018-07-02 Andrew ReynoldsImprove error message. (#2124) commit | commitdiff | tree
2018-06-29 Andrew ReynoldsUse evaluator in sygus sampler. (#2117) commit | commitdiff | tree
2018-06-29 Aina NiemetzNew C++ API: Implementation of Result. (#2112) commit | commitdiff | tree
2018-06-28 Andrew ReynoldsRemove comment about model value hack (#2118) commit | commitdiff | tree
2018-06-28 Andrew Reynolds sygusComp2018: optimization for invariance test (... commit | commitdiff | tree
2018-06-28 Andres NoetzliFix stale reference in MiniSat when generating UC ... commit | commitdiff | tree
2018-06-28 Andrew ReynoldsDo not rename uninterpreted constants (#2098) commit | commitdiff | tree
2018-06-28 Andrew ReynoldsSplit and document ceg theory instantiators (#2094) commit | commitdiff | tree
2018-06-27 Aina NiemetzHeader for new C++ API. (#1697) commit | commitdiff | tree
2018-06-27 Andrew ReynoldsSynthesize candidate-rewrites from standard inputs... commit | commitdiff | tree
2018-06-26 Andrew ReynoldssygusComp2018: add scripts. (#2103) commit | commitdiff | tree
2018-06-26 Andres NoetzlisygusComp2018: Add evaluator (#2090) commit | commitdiff | tree
2018-06-26 Andrew ReynoldsAdd casc j9 tfn script (#2100) commit | commitdiff | tree
2018-06-26 Andrew Reynolds Disable uf symmetry breaker in incremental mode (... commit | commitdiff | tree
2018-06-26 Andrew ReynoldsFix assertion for relational triggers (#2096) commit | commitdiff | tree
2018-06-26 Andrew Reynolds Do not dagify printing over binders (#2093) commit | commitdiff | tree
2018-06-26 Andrew ReynoldsRemove unnecessary code in register quantifier internal... commit | commitdiff | tree
2018-06-26 Andres NoetzliMinor improvements in SMT2 and CVC printers (#2089) commit | commitdiff | tree
2018-06-26 Aina NiemetzBump library version to 1.7-prerelease. commit | commitdiff | tree
2018-06-26 Aina NiemetzCutting release 1.6. commit | commitdiff | tree
2018-06-25 Aina NiemetzMore updates to NEWS for 1.6. commit | commitdiff | tree
2018-06-25 Aina NiemetzUpdate AUTHORS, NEWS, README, RELEASE-NOTES and THANKS... commit | commitdiff | tree
2018-06-25 Aina NiemetzBump library version. commit | commitdiff | tree
2018-06-25 Aina NiemetzUpdate copyright year in configuration.cpp:copyright(). commit | commitdiff | tree
2018-06-25 Aina NiemetzUpdated copyright headers. commit | commitdiff | tree
2018-06-25 Aina NiemetzDo not use git blame -C in get-authors (too many false... commit | commitdiff | tree
2018-06-25 Aina NiemetzFix update-copyright script for files without a header. commit | commitdiff | tree
2018-06-25 Aina NiemetzAdded Makai and Yoni to get-authors script. commit | commitdiff | tree
2018-06-25 Andres NoetzliRemove parentheses for prefix ops without args (#2082) commit | commitdiff | tree
2018-06-21 Andres NoetzliFix warnings and enable -Wnon-virtual-dtor warning... commit | commitdiff | tree
2018-06-21 Andres NoetzliCheck unsat cores in regressions also without LFSC... commit | commitdiff | tree
2018-06-21 Aina NiemetzUpdated installation instructions to mention autogen... commit | commitdiff | tree
2018-06-20 Andres NoetzliResolve CVC4_USE_SYMFPU in headers at config-time ... commit | commitdiff | tree
2018-06-15 Andrew ReynoldsDisable solving non-linear BV literals by default ... commit | commitdiff | tree
2018-06-13 Andres NoetzliWorkaround for incremental unsat cores (#1962) commit | commitdiff | tree
2018-06-13 Andrew ReynoldsFix simple regexp consume (#2066) commit | commitdiff | tree
next