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

2010-02-04	Morgan Deters	build system for multi-level regressions	blob \| commitdiff \| raw
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