git.libre-soc.org Git - cvc5.git/history - src/options/quantifiers

[cvc5.git] / src / options / quantifiers_options.toml

2018-07-27	Mathias Preiner	Require argument description for non-{bool,void} option...	blob \| commitdiff \| raw
2018-07-24	Andrew Reynolds	Improvements 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 Reynolds	Optimizations 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 Noetzli	Add more sophisticated floating-point sampler (#2155)	blob \| commitdiff \| raw \| diff to current
2018-07-06	Andres Noetzli	Add option for timeout for rewrite candidate check...	blob \| commitdiff \| raw \| diff to current
2018-06-26	Andres Noetzli	sygusComp2018: Add evaluator (#2090)	blob \| commitdiff \| raw \| diff to current
2018-06-15	Andrew Reynolds	Disable solving non-linear BV literals by default ...	blob \| commitdiff \| raw \| diff to current
2018-05-25	Andrew Reynolds	Reenable repair const (#1983)	blob \| commitdiff \| raw \| diff to current
2018-05-23	Andrew Reynolds	Repair constants using symbolic constructors (#1960)	blob \| commitdiff \| raw \| diff to current
2018-05-19	Haniel Barbosa	changing default (#1944)	blob \| commitdiff \| raw \| diff to current
2018-05-17	Haniel Barbosa	Option to force return values of Bool functions to...	blob \| commitdiff \| raw \| diff to current
2018-05-17	Andrew Reynolds	Cegis-specific infrastructure (#1933)	blob \| commitdiff \| raw \| diff to current
2018-05-14	Andrew Reynolds	Add regressions, change defaults. (#1911)	blob \| commitdiff \| raw \| diff to current
2018-05-10	Andrew Reynolds	Sygus repair constants (#1812)	blob \| commitdiff \| raw \| diff to current
2018-05-09	Andrew Reynolds	Better option names for PBE (#1891)	blob \| commitdiff \| raw \| diff to current
2018-04-27	Haniel Barbosa	New 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 Reynolds	Option to turn arbitrary input into sygus (#1704)	blob \| commitdiff \| raw \| diff to current
2018-04-03	Andrew Reynolds	Improvements to extended rewriter for Booleans and...	blob \| commitdiff \| raw \| diff to current
2018-03-27	Andrew Reynolds	Fix for --sygus-rr-synth (#1723)	blob \| commitdiff \| raw \| diff to current
2018-03-26	Andrew Reynolds	Synth-check and accelerate options for sygus-rr (#1691)	blob \| commitdiff \| raw \| diff to current
2018-03-26	Andrew Reynolds	Abort when sygus-verify finds unsoundness. (#1717)	blob \| commitdiff \| raw \| diff to current
2018-03-23	Andrew Reynolds	Remove unused code (#1700)	blob \| commitdiff \| raw \| diff to current
2018-03-23	Andrew Reynolds	Enable post-condition strenghtening by default for...	blob \| commitdiff \| raw \| diff to current
2018-03-21	Mathias Preiner	Refactor mkoptions (#1631)	blob \| commitdiff \| raw \| diff to current

RSS Atom