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

2012-09-27	Morgan Deters	* Rename SMT parts (printer, parser) to SMT1	blob \| commitdiff \| raw
2012-09-21	Morgan Deters	SMT-LIBv2 compliance updates:	blob \| commitdiff \| raw \| diff to current
2012-09-21	Morgan Deters	better verbosity support (so it's sensible when the...	blob \| commitdiff \| raw \| diff to current
2012-09-06	Morgan Deters	allow SmtEngine::setOption() for trace and debug tags	blob \| commitdiff \| raw \| diff to current
2012-09-06	Morgan Deters	add --incremental to --smtlib2 compliance mode (thanks...	blob \| commitdiff \| raw \| diff to current
2012-08-28	Morgan Deters	Improved compatibility layer, now supports quantifiers...	blob \| commitdiff \| raw \| diff to current
2012-07-31	Morgan Deters	Options merge. This commit:	blob \| commitdiff \| raw \| diff to current