projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixes for relational triggers (#2967)
[cvc5.git] / src / options / quantifiers_options.toml
2019-05-09 Andrew ReynoldsFixes for relational triggers (#2967) blob | commitdiff | raw
2019-04-16 Andrew ReynoldsStratify enumerative instantiation (#2954) blob | commitdiff | raw | diff to current
2019-04-16 Andrew ReynoldsMinor simplifications to theory quantifiers (#2953) blob | commitdiff | raw | diff to current
2019-03-20 Andrew ReynoldsSygus abduction feature (#2744) blob | commitdiff | raw | diff to current
2019-03-12 Andrew ReynoldsAdd option --sygus-rr-synth-rec for considering all... blob | commitdiff | raw | diff to current
2018-11-28 Andrew ReynoldsGeneralize sygus stream solution filtering to logical... blob | commitdiff | raw | diff to current
2018-11-05 Andrew ReynoldsChange default sygus enumeration mode to auto (#2689) blob | commitdiff | raw | diff to current
2018-10-31 Andrew ReynoldsAdd optimized sygus enumeration (#2677) blob | commitdiff | raw | diff to current
2018-10-20 Andrew ReynoldsSygus streaming non-implied predicates (#2660) blob | commitdiff | raw | diff to current
2018-10-18 Andrew ReynoldsSygus query generator (#2465) blob | commitdiff | raw | diff to current
2018-10-16 Haniel BarbosaOption for shuffling condition pool in CegisUnif (... blob | commitdiff | raw | diff to current
2018-10-13 Andres NoetzliReset input language for ExprMiner subsolver (#2624) blob | commitdiff | raw | diff to current
2018-10-12 Andrew ReynoldsImprovements to rewrite rules from inputs (#2625) blob | commitdiff | raw | diff to current
2018-10-11 Haniel BarbosaFix default setting of CegisUnif options (#2605) blob | commitdiff | raw | diff to current
2018-10-11 Andrew ReynoldsSynthesize rewrite rules from inputs (#2608) blob | commitdiff | raw | diff to current
2018-10-09 Andrew Reynolds Support for basic actively-generated enumerators ... blob | commitdiff | raw | diff to current
2018-10-05 Andrew ReynoldsUpdate default options for sygus (#2586) blob | commitdiff | raw | diff to current
2018-10-03 Andrew ReynoldsAdd actively generated sygus enumerators (#2552) blob | commitdiff | raw | diff to current
2018-09-14 Andrew ReynoldsGeneralize CandidateRewriteDatabase to ExprMiner (... blob | commitdiff | raw | diff to current
2018-09-13 Haniel BarbosaUses information gain heuristic for building better... blob | commitdiff | raw | diff to current
2018-09-11 Haniel BarbosaUsing a single condition enumerator in sygus-unif ... blob | commitdiff | raw | diff to current
2018-08-31 Haniel BarbosaAllows SAT checks of repair const to have different... blob | commitdiff | raw | diff to current
2018-08-21 Andrew ReynoldsMore unused code elimination (#2339) blob | commitdiff | raw | diff to current
2018-08-08 Andrew ReynoldsDisable argument relevance for sygus by default (#2288) blob | commitdiff | raw | diff to current
2018-07-27 Mathias PreinerRequire argument description for non-{bool,void} option... blob | commitdiff | raw | diff to current
2018-07-24 Andrew ReynoldsImprovements to sets + cardinality + quantifiers (... blob | commitdiff | raw | diff to current
2018-07-22 Andrew Reynolds sygusComp2018: Improvements to CEGIS loop (#2187) blob | commitdiff | raw | diff to current
2018-07-21 Andrew ReynoldsOptimizations and fixes for computing whether a type... blob | commitdiff | raw | diff to current
2018-07-20 Andrew Reynolds sygusComp2018: minor changes to repair constant utilit... blob | commitdiff | raw | diff to current
2018-07-17 Andrew Reynolds sygusComp2018: pbe multi-enumerator fairness option... blob | commitdiff | raw | diff to current
2018-07-17 Andrew Reynolds sygusComp2018: update policies for solution reconstruc... blob | commitdiff | raw | diff to current
2018-07-08 Andres NoetzliAdd more sophisticated floating-point sampler (#2155) blob | commitdiff | raw | diff to current
2018-07-06 Andres NoetzliAdd option for timeout for rewrite candidate check... blob | commitdiff | raw | diff to current
2018-06-26 Andres NoetzlisygusComp2018: Add evaluator (#2090) blob | commitdiff | raw | diff to current
2018-06-15 Andrew ReynoldsDisable solving non-linear BV literals by default ... blob | commitdiff | raw | diff to current
2018-05-25 Andrew ReynoldsReenable repair const (#1983) blob | commitdiff | raw | diff to current
2018-05-23 Andrew ReynoldsRepair constants using symbolic constructors (#1960) blob | commitdiff | raw | diff to current
2018-05-19 Haniel Barbosachanging default (#1944) blob | commitdiff | raw | diff to current
2018-05-17 Haniel BarbosaOption to force return values of Bool functions to... blob | commitdiff | raw | diff to current
2018-05-17 Andrew ReynoldsCegis-specific infrastructure (#1933) blob | commitdiff | raw | diff to current
2018-05-14 Andrew ReynoldsAdd regressions, change defaults. (#1911) blob | commitdiff | raw | diff to current
2018-05-10 Andrew ReynoldsSygus repair constants (#1812) blob | commitdiff | raw | diff to current
2018-05-09 Andrew ReynoldsBetter option names for PBE (#1891) blob | commitdiff | raw | diff to current
2018-04-27 Haniel BarbosaNew module for synthesizing functions in a data-driven... blob | commitdiff | raw | diff to current
2018-04-20 Andrew Reynolds Reenable filtering based on ordering in sygus sampler... blob | commitdiff | raw | diff to current
2018-04-04 Andrew ReynoldsOption to turn arbitrary input into sygus (#1704) blob | commitdiff | raw | diff to current
2018-04-03 Andrew ReynoldsImprovements to extended rewriter for Booleans and... blob | commitdiff | raw | diff to current
2018-03-27 Andrew ReynoldsFix for --sygus-rr-synth (#1723) blob | commitdiff | raw | diff to current
2018-03-26 Andrew ReynoldsSynth-check and accelerate options for sygus-rr (#1691) blob | commitdiff | raw | diff to current
2018-03-26 Andrew ReynoldsAbort when sygus-verify finds unsoundness. (#1717) blob | commitdiff | raw | diff to current
2018-03-23 Andrew ReynoldsRemove unused code (#1700) blob | commitdiff | raw | diff to current
2018-03-23 Andrew ReynoldsEnable post-condition strenghtening by default for... blob | commitdiff | raw | diff to current
2018-03-21 Mathias PreinerRefactor mkoptions (#1631) blob | commitdiff | raw | diff to current