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

2018-05-09	Andrew Reynolds	Better option names for PBE (#1891)	blob \| commitdiff \| raw
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