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

2013-01-22	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-01-22	Morgan Deters	update ANTLR URLs (antlr.org -> antlr3.org)	commit \| commitdiff \| tree
2013-01-19	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-01-19	Morgan Deters	Fix an options-processing bug on some platforms (e...	commit \| commitdiff \| tree
2013-01-08	Morgan Deters	SMT-LIB get-model output now is easier to machine-parse...	commit \| commitdiff \| tree
2012-12-18	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2012-12-18	Morgan Deters	Fix bug 483: readline checks must come after Boost...	commit \| commitdiff \| tree
2012-12-18	Morgan Deters	Fix printing of EXISTS in CVC language printer	commit \| commitdiff \| tree
2012-12-18	Morgan Deters	Fix bug 483: readline checks must come after Boost...	commit \| commitdiff \| tree
2012-12-16	Morgan Deters	Fix printing of EXISTS in CVC language printer	commit \| commitdiff \| tree
2012-12-11	Morgan Deters	Merge branch '1.0.x', getting fix for bug 480	commit \| commitdiff \| tree
2012-12-11	Morgan Deters	SMT-LIB compliance fix to get-assignment; resolves...	commit \| commitdiff \| tree
2012-12-11	Morgan Deters	Merge branch '1.0.x' (getting fix for bug 479)	commit \| commitdiff \| tree
2012-12-11	Morgan Deters	Ignore unknown term annotations (giving a warning)...	commit \| commitdiff \| tree
2012-12-11	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2012-12-11	Andrew Reynolds	adding cache for preprocessing datatypes terms to fix...	commit \| commitdiff \| tree
2012-12-08	Morgan Deters	Merge from 1.0.x (bugfix for 476).	commit \| commitdiff \| tree
2012-12-08	Morgan Deters	Fix bug 476: when CxxTest is not found, make the error...	commit \| commitdiff \| tree
2012-12-06	Morgan Deters	Fix to portfolio builds	commit \| commitdiff \| tree

RSS Atom