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

[cvc5.git] / src / options / options_template.cpp

2013-07-23	Morgan Deters	fix for win32 option parsing via mingw32	blob \| commitdiff \| raw
2013-07-23	Morgan Deters	(get-info :all-options) to get option values; also...	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2013-02-02	lianah	merged master into branch	blob \| commitdiff \| raw \| diff to current
2013-01-19	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-19	Morgan Deters	Fix an options-processing bug on some platforms (e...	blob \| commitdiff \| raw \| diff to current
2012-10-22	Morgan Deters	one more incorrect #line fixed	blob \| commitdiff \| raw \| diff to current
2012-10-14	Morgan Deters	fix #line number warnings (sorry!)	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-09-27	Morgan Deters	* Rename SMT parts (printer, parser) to SMT1	blob \| commitdiff \| raw \| diff to current
2012-09-21	Morgan Deters	SMT-LIBv2 compliance updates:	blob \| commitdiff \| raw \| diff to current
2012-09-14	Morgan Deters	Fix a few minor issues in options processing, improving...	blob \| commitdiff \| raw \| diff to current
2012-09-12	Morgan Deters	Adding model assertions after SAT responses.	blob \| commitdiff \| raw \| diff to current
2012-09-08	Morgan Deters	Add [*] footnotes to --help output indicating for many...	blob \| commitdiff \| raw \| diff to current
2012-08-29	Morgan Deters	* Numerous documentation fixes (fix doxygen warnings...	blob \| commitdiff \| raw \| diff to current
2012-08-13	Morgan Deters	fix integer parsing error.. thanks dejan for the report...	blob \| commitdiff \| raw \| diff to current
2012-08-08	Morgan Deters	Fix --no-checking option.	blob \| commitdiff \| raw \| diff to current
2012-08-01	Morgan Deters	some fixes for Mac OS	blob \| commitdiff \| raw \| diff to current
2012-07-31	Morgan Deters	Options merge. This commit:	blob \| commitdiff \| raw \| diff to current

RSS Atom