projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Statistics on instantiations per quantified formula. (#4719)
[cvc5.git] / src / theory / datatypes /
2020-07-11 Andrew Reynolds(proof-new) Update Theory interface for proof-new ... tree | commitdiff
2020-06-30 Ying ShengInterpolation step 1 (#4638) tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-06-13 Andrew ReynoldsMove sygus datatype utility functions to their own... tree | commitdiff
2020-06-06 Andrew ReynoldsSmt2 parsing support for nested recursive datatypes... tree | commitdiff
2020-06-05 Andrew ReynoldsDatatypes with nested recursion are not handled in... tree | commitdiff
2020-06-04 Andrew ReynoldsAdd sygus datatype substitution utility method (#4390) tree | commitdiff
2020-04-21 Andrew ReynoldsMake option names related to CEGQI consistent (#4316) tree | commitdiff
2020-04-17 Mathias PreinerSyGuS instantiation quantifiers module (#3910) tree | commitdiff
2020-04-11 Andrew ReynoldsEnsure exported sygus solutions match grammar (#4270) tree | commitdiff
2020-04-08 Andres NoetzliPerform theory widening eagerly (#4044) tree | commitdiff
2020-04-03 Andres NoetzliUpdate theory rewriter ownership, add stats to strings... tree | commitdiff
2020-04-02 Andres NoetzliInitialize theory rewriters in theories (#4197) tree | commitdiff
2020-03-30 Andrew ReynoldsRemove ref skolem datatype option (#4185) tree | commitdiff
2020-03-13 Andrew ReynoldsRemoving a few deprecated options (#4052) tree | commitdiff
2020-03-11 Andrew ReynoldsGuard against null relevancy condition in SyGuS (#4033) tree | commitdiff
2020-03-10 Andrew ReynoldsRename sygus option name (#3977) tree | commitdiff
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909) tree | commitdiff
2020-02-27 Andrew ReynoldsInitial work towards -Wshadow (#3817) tree | commitdiff
2020-02-20 Andrew ReynoldsMinor removals (#3786) tree | commitdiff
2020-02-19 Andrew ReynoldsFix symmetry breaking for multiple sygus types (#3775) tree | commitdiff
2020-02-11 Andrew ReynoldsUse example evaluation cache instead of sygus PBE ... tree | commitdiff
2019-12-17 Mathias PreinerGenerate code for options with modes. (#3561) tree | commitdiff
2019-12-13 Andrew ReynoldsEliminate Expr-level calls in TypeNode (#3562) tree | commitdiff
2019-12-12 Andrew ReynoldsUse the node-level datatypes API (#3556) tree | commitdiff
2019-12-09 Andres NoetzliMake theory rewriters non-static (#3547) tree | commitdiff
2019-12-06 Andrew ReynoldsOptimize the rewriter for DT_SYGUS_EVAL (#3529) tree | commitdiff
2019-12-04 Andrew ReynoldsNew grammar construction modes for SyGuS (#3486) tree | commitdiff
2019-11-15 Andrew ReynoldsIntroduce SyGuS datatype API (#3465) tree | commitdiff
2019-11-11 Andrew ReynoldsEliminate remaining references to type/expr in datatype... tree | commitdiff
2019-11-06 Andrew ReynoldsMigrate more datatype methods to the Node level (#3443) tree | commitdiff
2019-11-05 Andrew ReynoldsRefactor type matcher utility (#3439) tree | commitdiff
2019-11-01 Andrew ReynoldsFix non-termination in datatype type enumerator (#3369) tree | commitdiff
2019-11-01 Andrew ReynoldsEagerly beta reduce during sygus to builtin term conver... tree | commitdiff
2019-11-01 Andrew ReynoldsRename datatypes sygus solver (#3417) tree | commitdiff
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... tree | commitdiff
2019-10-17 Andrew Reynolds Move datatype utility functions to own file (#3397) tree | commitdiff
2019-10-04 Andrew ReynoldsAvoid duplicate lemmas in datatypes (#3310) tree | commitdiff
2019-09-28 Andrew ReynoldsSupport smt2 language "match" term (#3258) tree | commitdiff
2019-09-16 Andrew ReynoldsSygus type info class (#3187) tree | commitdiff
2019-08-05 Andrew ReynoldsRemove forward declarations in quantifiers engine ... tree | commitdiff
2019-06-11 Andrew ReynoldsDo not require sygus constructors to be flattened ... tree | commitdiff
2019-04-30 Andrew ReynoldsEliminate APPLY kind (#2976) tree | commitdiff
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-03-26 Andrew ReynoldsFix a few warnings (#2898) tree | commitdiff
2019-03-21 Andrew ReynoldsRewrite selectors correctly applied to constructors... tree | commitdiff
2019-03-14 Andrew ReynoldsGeneralize sygus-rr-verify for fast enumerator (#2829) tree | commitdiff
2019-03-12 Andrew Reynolds Move tuple/record update elimination from ppRewrite... tree | commitdiff
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
next