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

2010-09-02	Morgan Deters	* add TimerStat statistic type	blob \| commitdiff \| raw
2010-08-17	Morgan Deters	Merge from "cc" branch:	blob \| commitdiff \| raw \| diff to current
2010-06-03	Morgan Deters	* Added NodeBuilder<>::getChild() to make interface...	blob \| commitdiff \| raw \| diff to current
2010-05-27	Morgan Deters	small cosmetic change to tests summary output	blob \| commitdiff \| raw \| diff to current
2010-05-27	Morgan Deters	Use the newer automake test driver "parallel-tests...	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	add system regression testing infrastructure	blob \| commitdiff \| raw \| diff to current
2009-11-20	Morgan Deters	fixes to build/test system	blob \| commitdiff \| raw \| diff to current
2009-11-19	Morgan Deters	testing framework, configure fixes, incorporations...	blob \| commitdiff \| raw \| diff to current