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

2013-08-13	Morgan Deters	--segv-nospin is now default.	blob \| commitdiff \| raw
2013-03-27	lianah	added model generation for bv subtheories and bv-inequa...	blob \| commitdiff \| raw \| diff to current
2013-03-26	Dejan Jovanović	Merge branch 'master' of git@github.com:CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2013-03-25	Kshitij Bansal	Merge pull request #7 from kbansal/portfolio	blob \| commitdiff \| raw \| diff to current
2013-03-25	Kshitij Bansal	finish removal of separateOutput	blob \| commitdiff \| raw \| diff to current
2013-03-24	Morgan Deters	Fix bug in portfolio executor output; fixes nightly...	blob \| commitdiff \| raw \| diff to current
2013-03-13	lianah	post failed attempts at getting the incremental solver...	blob \| commitdiff \| raw \| diff to current
2013-02-26	lianah	Merge branch '1.0.x' of https://github.com/CVC4/CVC4...	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	make incremental+portfolio experimental	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	Merge pull request #5 from kbansal/1.0.x	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	make incremental+portfolio experimental	blob \| commitdiff \| raw \| diff to current
2012-10-19	Kshitij Bansal	--fallback-sequential / --no-fallback-sequential option	blob \| commitdiff \| raw \| diff to current
2012-10-06	Morgan Deters	* more complete support for --dump assertions:{pre...	blob \| commitdiff \| raw \| diff to current
2012-10-03	Kshitij Bansal	--wait-to-join / --no-wait-to-join option	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-26	Morgan Deters	The Tuesday Afternoon Catch-All Commit (TACAC):	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-08-06	Morgan Deters	Support setting :regular-output-channel and :diagnostic...	blob \| commitdiff \| raw \| diff to current
2012-07-31	Morgan Deters	Options merge. This commit:	blob \| commitdiff \| raw \| diff to current

RSS Atom