projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improvements and fixes in cegqi arithmetic (#2247)
[cvc5.git] / src /
2018-08-02 Andrew ReynoldsImprovements and fixes in cegqi arithmetic (#2247) tree | commitdiff
2018-08-02 Andres NoetzliRemove outdated references to TLS (#2245) tree | commitdiff
2018-08-02 Andrew ReynoldsFix issues with printing parametric datatypes in smt2... tree | commitdiff
2018-08-01 Andres NoetzliFix wrong evaluation of STRING_STOI (#2252) tree | commitdiff
2018-08-01 Mathias PreinerFix bool-to-bv preprocessing pass for non-{bv,bool... tree | commitdiff
2018-08-01 Aina Niemetz InteractiveShell: Remove redundant options argument... tree | commitdiff
2018-08-01 Aina NiemetzNew C++ API: Fixed ownership of options object. (#2243) tree | commitdiff
2018-08-01 Andrew ReynoldsFix issues with bv2nat (#2219) tree | commitdiff
2018-08-01 Andrew Reynolds Fix assertion in conjecture generator (#2246) tree | commitdiff
2018-08-01 Andrew ReynoldsMake conjecture generator's uf term enumeration safer... tree | commitdiff
2018-08-01 Andrew ReynoldsMake candidate rewrite match filtering handle polymorph... tree | commitdiff
2018-08-01 ayveejayImprovements and tests for the API around separation... tree | commitdiff
2018-08-01 Mathias PreinerRemove hasAssertions() method from eager BV solver... tree | commitdiff
2018-07-31 Mathias PreinerFix option handler for lazy/bv-sat-solver combinations... tree | commitdiff
2018-07-30 Mathias PreinerAdd support for incremental eager bit-blasting. (#1838) tree | commitdiff
2018-07-30 FabianWolffFix several spelling errors (#2231) tree | commitdiff
2018-07-30 Tim KingStoring a std::pair<Key,Data> on CDOhash_map. tree | commitdiff
2018-07-27 Mathias PreinerRequire argument description for non-{bool,void} option... tree | commitdiff
2018-07-27 Mathias PreinerMake Python a required CVC4 dependency. (#2227) tree | commitdiff
2018-07-27 Andrew ReynoldsFix for candidate rewrite rule filtering. (#2220) tree | commitdiff
2018-07-27 Andrew Reynolds Make check-synth robust for assertions that are not... tree | commitdiff
2018-07-27 Andrew ReynoldsFix Node::hasFreeVar for function variables (#2216) tree | commitdiff
2018-07-26 Tim KingRemoving unused CDTrailHashmap. (#2221) tree | commitdiff
2018-07-26 yoni206Disabling bvLazyRewriteExtf in the right place (#2214) tree | commitdiff
2018-07-26 Tim KingChanging CDInsertHashMap to store <const Key, const... tree | commitdiff
2018-07-26 Tim KingChanging the arithmetic static learner to use CDHashMap... tree | commitdiff
2018-07-26 Andrew ReynoldsFix rewriter for lambda (#2211) tree | commitdiff
2018-07-26 Andrew Reynolds Fix a few issues in the sygus sampler related to evalu... tree | commitdiff
2018-07-26 ayveejayAvoid explicit dependency on Python 3 (#2195) tree | commitdiff
2018-07-26 Aina NiemetzNew C++ API: Third batch of commands (SMT-LIB). (#2212) tree | commitdiff
2018-07-26 Aina NiemetzNew C++ API: Second batch of commands (SMT-LIB). (... tree | commitdiff
2018-07-25 Tim KingChanging ArithIteUtils to use CDInsertHashMap. (#2206) tree | commitdiff
2018-07-25 Tim KingRemoving support for CDHashMap::iterator's postfix... tree | commitdiff
2018-07-25 Andrew Reynolds Move reg exp rewrites from prerewrite to postrewrite... tree | commitdiff
2018-07-25 ayveejayPerforming clang-format on the original change-set... tree | commitdiff
2018-07-24 Andrew ReynoldsImprovements to sets + cardinality + quantifiers (... tree | commitdiff
2018-07-24 ayveejayAdding API access methods to get heap/nil expressions... tree | commitdiff
2018-07-24 Aina Niemetz New C++ API: First batch of commands (SMT-LIB and... tree | commitdiff
2018-07-23 Andrew Reynolds Improve rewriter for regular expression concatenation... tree | commitdiff
2018-07-23 Andrew ReynoldsGeneralize symmetry detection for 1 symmetry variable... tree | commitdiff
2018-07-23 Aina NiemetzNew C++ API: Implementation of Solver class: OpTerm... tree | commitdiff
2018-07-23 Aina NiemetzNew C++ API: declare-datatype. (#2166) tree | commitdiff
2018-07-23 Andrew ReynoldsFix warning in sygus PBE (#2190) tree | commitdiff
2018-07-22 Andrew Reynolds sygusComp2018: Improvements to CEGIS loop (#2187) tree | commitdiff
2018-07-21 Andrew ReynoldsOptimizations and fixes for computing whether a type... tree | commitdiff
2018-07-21 Andrew Reynolds sygusComp2018: refactor and improve sygus io utility... tree | commitdiff
2018-07-20 Andrew ReynoldsCleanup and additions for candidate generator (#2173) tree | commitdiff
2018-07-20 Andrew Reynolds sygusComp2018: minor changes to repair constant utilit... tree | commitdiff
2018-07-17 Andrew Reynolds sygusComp2018: pbe multi-enumerator fairness option... tree | commitdiff
2018-07-17 yoni206Refactor sep-pre-skolem-emp preprocessing pass tree | commitdiff
2018-07-17 Andrew ReynoldsMinor cleanup and fixes for conflict-based instantiatio... tree | commitdiff
2018-07-17 Andrew ReynoldsDo extended rewrite on results of quantifier eliminatio... tree | commitdiff
2018-07-17 Andrew Reynolds Purify applications of exp to transcendental arguments... tree | commitdiff
2018-07-17 Andrew Reynolds sygusComp2018: update policies for solution reconstruc... tree | commitdiff
2018-07-17 Andrew ReynoldssygusComp2018: Improvements to datatypes sygus solver... tree | commitdiff
2018-07-17 Andrew ReynoldssygusComp 2018: updates to sygus term database (#2170) tree | commitdiff
2018-07-15 Andres NoetzliAvoid ambiguous overloads in BitVector (#2169) tree | commitdiff
2018-07-14 Andres NoetzliexportTo only if needed for --sygus-rr-synth-check... tree | commitdiff
2018-07-14 Andrew ReynoldssygusComp2018: update semantics for declare-fun in... tree | commitdiff
2018-07-13 Andrew ReynoldsFix and improve grammar normalization for any constant... tree | commitdiff
2018-07-13 Andres NoetzliProperly clean up assertion stack in CnfProof (#2147) tree | commitdiff
2018-07-13 Andrew Reynolds sygusComp2018: optimization for collect model info... tree | commitdiff
2018-07-13 Aina NiemetzNew C++ API: Minor reorder. (#2163) tree | commitdiff
2018-07-13 Aina NiemetzNew C++ API: Implementation of datatype classes. (... tree | commitdiff
2018-07-13 Aina NiemetzNew C++ API: Implementation of Solver class: Consts... tree | commitdiff
2018-07-11 Caleb DonovickMove rewrite to pass (#2128) tree | commitdiff
2018-07-08 Andres NoetzliAdd more sophisticated floating-point sampler (#2155) tree | commitdiff
2018-07-07 Andrew Reynolds sygusComp2018: improve extended rewriter for Bool... tree | commitdiff
2018-07-06 Andrew ReynoldsSplit ext theory to own file and document (#1809) tree | commitdiff
2018-07-06 MartinFeature/fp rewrite improvement (#2154) tree | commitdiff
2018-07-06 Aina NiemetzNew C++ API: Implementation of Solver class: Term handl... tree | commitdiff
2018-07-06 Aina NiemetzNew C++ API: Implementation of Solver class: Sort handl... tree | commitdiff
2018-07-06 Andres NoetzliAdd option for timeout for rewrite candidate check... tree | commitdiff
2018-07-06 Andrew ReynoldssygusComp2018: simplify beta reduction in uf rewriter... tree | commitdiff
2018-07-05 Andrew Reynolds Make string length lemmas more robust to rewriting... tree | commitdiff
2018-07-05 Andrew ReynoldsMinor changes to sygus-rr utilities to support floating... tree | commitdiff
2018-07-05 Andres NoetzlisygusComp2018: Improve string rewriter (#2141) tree | commitdiff
2018-07-04 Andrew ReynoldsMore cleanup in strings (#2138) tree | commitdiff
2018-07-04 Aina NiemetzNew C++ API: Implementation of datatype declaration... tree | commitdiff
2018-07-04 Andrew ReynoldsReorganize candidate rewrite rule filtering (#2116) tree | commitdiff
2018-07-04 Andres NoetzliRemove unused CDVector (#2139) tree | commitdiff
2018-07-04 Aina NiemetzNew C++ API: Implementation of OpTerm. (#2132) tree | commitdiff
2018-07-04 Andrew ReynoldsFix fmf-fun for non-equality function definitions ... tree | commitdiff
2018-07-03 Aina NiemetzNew C++ API: Implementation of Term. (#2131) tree | commitdiff
2018-07-03 Aina NiemetzNew C++ API: Implementation of Kind maps. (#2130) tree | commitdiff
2018-07-03 Andrew ReynoldssygusComp2018: update sygus-related options setting... tree | commitdiff
2018-07-03 Andrew ReynoldsRemove miscellaneous dead and unused code from quantifi... tree | commitdiff
2018-07-02 Aina NiemetzRefactor ApplySubsts preprocessing pass. (#2120) tree | commitdiff
2018-07-02 Aina NiemetzNew C++ API: Implementation of Sort. (#2122) tree | commitdiff
2018-07-02 Andrew ReynoldsRemove some dead code from theory strings (#2125) tree | commitdiff
2018-07-02 Caleb DonovickAdd missing include (#2127) tree | commitdiff
2018-07-02 Andrew ReynoldsModify cegqi heuristic for finite datatypes (#2126) tree | commitdiff
2018-07-02 Andrew ReynoldsImprove error message. (#2124) tree | commitdiff
2018-06-29 Andrew ReynoldsUse evaluator in sygus sampler. (#2117) tree | commitdiff
2018-06-29 Aina NiemetzNew C++ API: Implementation of Result. (#2112) tree | commitdiff
2018-06-28 Andrew ReynoldsRemove comment about model value hack (#2118) tree | commitdiff
2018-06-28 Andrew Reynolds sygusComp2018: optimization for invariance test (... tree | commitdiff
2018-06-28 Andres NoetzliFix stale reference in MiniSat when generating UC ... tree | commitdiff
2018-06-28 Andrew ReynoldsDo not rename uninterpreted constants (#2098) tree | commitdiff
2018-06-28 Andrew ReynoldsSplit and document ceg theory instantiators (#2094) tree | commitdiff
next