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

2011-06-18	Morgan Deters	Some fixes inspired by Fedora 15:	blob \| commitdiff \| raw
2011-03-15	Morgan Deters	Merge from cudd branch. This mostly just adds support...	blob \| commitdiff \| raw \| diff to current
2010-10-20	Morgan Deters	fix bug #220 (assertion fails if no query/check-sat...	blob \| commitdiff \| raw \| diff to current
2010-09-13	Morgan Deters	build system consistency in target names for unit test...	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	build system for multi-level regressions	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	test infrastructure updated for multiple-level regressions	blob \| commitdiff \| raw \| diff to current
2010-01-27	Morgan Deters	support "make check" in src/ subdirs for unit-testing...	blob \| commitdiff \| raw \| diff to current
2009-12-17	Morgan Deters	update-copyright.pl now retrieves and incorporates...	blob \| commitdiff \| raw \| diff to current
2009-12-17	Morgan Deters	coding standard fix on SmtEngine; fix recursive make	blob \| commitdiff \| raw \| diff to current
2009-12-17	Morgan Deters	build system cleanup; test system separation into white...	blob \| commitdiff \| raw \| diff to current
2009-12-16	Morgan Deters	Fixes to the build system:	blob \| commitdiff \| raw \| diff to current