git.libre-soc.org Git - cvc5.git/history - test/regress/Makefile.am

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-02-03	Tim King	Enabled more regress tests. Takes 26s on my machine...	blob \| commitdiff \| raw \| diff to current
2010-02-03	Dejan Jovanović	some more tests for the context.	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
2010-01-27	Morgan Deters	test framework fixes; bug 13 closed	blob \| commitdiff \| raw \| diff to current
2010-01-26	Tim King	Added test/regress/boolean.cvc	blob \| commitdiff \| raw \| diff to current
2010-01-26	Morgan Deters	fixes to build structure, util classes, lots of fixes...	blob \| commitdiff \| raw \| diff to current
2010-01-23	Tim King	Added pure PL regression tests. Mostly CNF	blob \| commitdiff \| raw \| diff to current
2010-01-22	Tim King	Added regression test	blob \| commitdiff \| raw \| diff to current
2009-12-16	Morgan Deters	Fixes to the build system:	blob \| commitdiff \| raw \| diff to current
2009-12-07	Morgan Deters	fixing a few broken build-related items, adding test...	blob \| commitdiff \| raw \| diff to current
2009-11-20	Morgan Deters	fixes to build/test system	blob \| commitdiff \| raw \| diff to current