projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Updates to theory preprocess equality (#5776)
[cvc5.git] / src / theory / datatypes /
2019-01-15 Andrew Reynolds Only check disequal terms with sygus-rr-verify (#2793) tree | commitdiff
2019-01-09 Andrew ReynoldsDo not rewrite 1-constructor sygus testers to true... tree | commitdiff
2018-12-20 Aina NiemetzAdd missing type rules for parameterized operator kinds... tree | commitdiff
2018-11-27 Andrew ReynoldsMake (T)NodeTrie a general utility (#2489) tree | commitdiff
2018-11-27 Andrew ReynoldsFix coverity warnings in datatypes (#2553) tree | commitdiff
2018-11-21 Andrew ReynoldsSupport string replace all (#2704) tree | commitdiff
2018-11-06 Andrew ReynoldsIncorporate static PBE symmetry breaking lemmas into... tree | commitdiff
2018-10-23 Andrew ReynoldsDo not use lazy trie for sygus-rr-verify (#2668) tree | commitdiff
2018-10-11 Andrew ReynoldsSynthesize rewrite rules from inputs (#2608) tree | commitdiff
2018-10-09 Andrew Reynolds Support for basic actively-generated enumerators ... tree | commitdiff
2018-10-05 Andrew ReynoldsUpdate default options for sygus (#2586) tree | commitdiff
2018-10-03 Andrew ReynoldsAdd actively generated sygus enumerators (#2552) tree | commitdiff
2018-09-26 Andrew ReynoldsSymmetry breaking for variable agnostic enumerators... tree | commitdiff
2018-09-25 Andrew ReynoldsFix warnings uncovered by cmake build (#2521) tree | commitdiff
2018-09-25 Andrew ReynoldsAllow partial models for multiple sygus enumerators... tree | commitdiff
2018-09-22 Mathias Preinercmake: Remove unused CMakeLists.txt tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-09-18 Andrew ReynoldsMove and rename sygus solver classes (#2488) tree | commitdiff
2018-09-17 Andrew ReynoldsDecision strategy: incorporate datatypes sygus solver... tree | commitdiff
2018-08-28 Andrew Reynolds Address more coverity warnings (#2394) tree | commitdiff
2018-08-24 Andrew Reynolds Fix more simple coverity warnings (#2372) tree | commitdiff
2018-08-24 Andres NoetzliAdd tests that enumerate and verify rewrite rules ... tree | commitdiff
2018-08-21 Andrew ReynoldsMore unused code elimination (#2339) tree | commitdiff
2018-08-20 Andrew ReynoldsMinor improvements to the interface for sygus sampler... tree | commitdiff
2018-08-16 Andrew ReynoldsMinor fixes and improvement for sygus to builtin. ... tree | commitdiff
2018-08-08 Andrew ReynoldsDocument/refactor datatypes sygus simple symmetry break... tree | commitdiff
2018-08-03 Andrew ReynoldsEliminate option for sygus UF evaluation functions... tree | commitdiff
2018-07-21 Andrew ReynoldsOptimizations and fixes for computing whether a type... tree | commitdiff
2018-07-17 Andrew Reynolds sygusComp2018: pbe multi-enumerator fairness option... tree | commitdiff
2018-07-17 Andrew ReynoldssygusComp2018: Improvements to datatypes sygus solver... tree | commitdiff
2018-07-13 Andrew Reynolds sygusComp2018: optimization for collect model info... tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-06-07 Andrew ReynoldsClear pending inferences during datatypes splitting... tree | commitdiff
2018-05-28 Andrew ReynoldsBuiltin evaluation functions for sygus (#1991) tree | commitdiff
2018-05-24 Andrew ReynoldsImprove simple constant symmetry breaking for sygus... tree | commitdiff
2018-05-23 Haniel BarbosaTowards better symbolic enumeration in SyGuS (#1971) tree | commitdiff
2018-05-23 Andrew ReynoldsRepair constants using symbolic constructors (#1960) tree | commitdiff
2018-05-10 Andrew ReynoldsSygus repair constants (#1812) tree | commitdiff
2018-05-09 Andrew ReynoldsBetter option names for PBE (#1891) tree | commitdiff
2018-05-04 Andrew ReynoldsDocument datatypes sygus (#1818) tree | commitdiff
2018-03-26 Andrew ReynoldsAbort when sygus-verify finds unsoundness. (#1717) tree | commitdiff
2018-03-25 Andrew ReynoldsCleanup various exit calls (#1692) tree | commitdiff
2018-03-20 Andrew ReynoldsMinor refactor datatypes sygus (#1673) tree | commitdiff
2018-03-07 Mathias PreinerMake statistics output consistent. (#1647) tree | commitdiff
2018-03-06 Andrew ReynoldsRefactor symmetry breaking in datatypes sygus (#1640) tree | commitdiff
2018-03-06 Andrew ReynoldsUpdate semantics for string indexof and replace (#1630) tree | commitdiff
2018-03-05 Mathias PreinerEnable -Wsuggest-override by default. (#1643) tree | commitdiff
2018-03-02 Andrew ReynoldsPrint candidate rewrites in terms of original grammar... tree | commitdiff
2018-02-27 Andrew ReynoldsImprovements to sygus sampling (#1621) tree | commitdiff
2018-02-14 Andrew ReynoldsQuantifiers subdirectories (#1608) tree | commitdiff
2018-02-11 Andrew ReynoldsMore minor improvements to synth-rr (#1597) tree | commitdiff
2018-02-08 Andrew ReynoldsMinor improvements to sygus sampling. (#1577) tree | commitdiff
2018-02-06 Tim KingResolving warnings from -Winconsistent-missing-override... tree | commitdiff
2018-02-06 Andrew ReynoldsStatically eliminate redundant sygus constructors ... tree | commitdiff
2018-02-03 Andrew ReynoldsOption to use sampling for CEGIS (#1555) tree | commitdiff
2018-02-01 Andrew ReynoldsUse sygus to synthesize/verify rewrite rules (#1547) tree | commitdiff
2018-01-30 Andrew ReynoldsFurther clean and document datatypes rewriter (#1548) tree | commitdiff
2018-01-10 Tim KingRemoving throw specifiers from type enumerators. (... tree | commitdiff
2017-12-08 Andrew ReynoldsDocument and clean datatypes rewriter (#1437) tree | commitdiff
2017-12-08 Andrew ReynoldsMake collect model info return a Bool (#1421) tree | commitdiff
2017-12-07 Andrew ReynoldsFixes related to SyGuS + real arithmetic (#1432) tree | commitdiff
2017-12-06 Andres NoetzliRemove CDChunkList (#1414) tree | commitdiff
2017-12-01 Andrew ReynoldsMinor additions for sygus (#1419) tree | commitdiff
2017-11-14 Andrew Reynolds(Refactor) Split sygus term db (#1335) tree | commitdiff
2017-11-07 Tim KingInitializing EquivSygusInvarianceTest::d_conj in the... tree | commitdiff
2017-10-28 Andrew ReynoldsSygus process conjecture (#1286) tree | commitdiff
2017-10-20 Andrew ReynoldsSyGuS term size limit (#1262) tree | commitdiff
2017-10-17 Tim KingFixing 2 instances of an unused variable. (#1253) tree | commitdiff
2017-10-17 Andrew ReynoldsSygus enumerators to conjecture (#1237) tree | commitdiff
2017-10-10 Andrew ReynoldsSplit term database (#1206) tree | commitdiff
2017-09-14 Andrew ReynoldsRemove unhandled subtypes (#1098) tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-08 ajreynolUse cache for datatypes cycle check, add regression. tree | commitdiff
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... tree | commitdiff
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11 tree | commitdiff
2017-07-12 ajreynolMake type rules more strict for operators whose type... tree | commitdiff
2017-07-10 ajreynolSeparate sygus term utilities to new file, minor cleanu... tree | commitdiff
2017-07-10 ajreynolMerge datatype shared selectors/sygus comp 2017 branch... tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-06-30 ajreynolMinor change to trigger selection, fixes related to... tree | commitdiff
2017-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit tree | commitdiff
2017-06-15 ajreynolEnsure uninterpreted constants do not escape datatypes... tree | commitdiff
2017-04-21 Clark BarrettMerge pull request #150 from 4tXJ7f/check_exceptions2 tree | commitdiff
2017-04-21 ajreynolHandle subtypes in sets. Bug fixes for tuples with... tree | commitdiff
2017-04-04 ajreynolSimplify Theory::collectModelInfo interface to not... tree | commitdiff
2017-03-27 Clark BarrettMerge pull request #137 from 4tXJ7f/throw_quals tree | commitdiff
2017-03-27 Andres NotzliRemove throw qualifiers in type enumerators tree | commitdiff
2017-03-24 ajreynolRefactor model building for quantifiers to be a single... tree | commitdiff
2017-03-21 ajreynolImprove computeCareGraph functions to check shared... tree | commitdiff
2017-03-03 ajreynolFix for collectModelInfo related to finite types +... tree | commitdiff
2017-03-02 ajreynolMinor cleanup and reorganization related to last commit. tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2016-12-02 Tim KingMerge pull request #95 from 4tXJ7f/fix_sierra_build tree | commitdiff
2016-12-02 Clark BarrettMerge pull request #113 from 4tXJ7f/remove_extract_rule tree | commitdiff
2016-12-02 ajreynolBug fixes and refactoring of parametric datatypes,... tree | commitdiff
2016-11-02 ajreynolFix a few obvious memory leaks in sygus and quantifiers... tree | commitdiff
2016-11-01 ajreynolWorking memory leak free version, changes interface... tree | commitdiff
2016-10-31 ajreynolMinor refactoring in preparation for datatypes node... tree | commitdiff
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git tree | commitdiff
next