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

2009-12-17	Morgan Deters	+ test infrastructure fixes	blob \| commitdiff \| raw
2009-12-17	Morgan Deters	support nonstandard, unconfigured builds (e.g., "....	blob \| commitdiff \| raw \| diff to current
2009-12-16	Morgan Deters	Fixes to the build system:	blob \| commitdiff \| raw \| diff to current
2009-12-11	Morgan Deters	build fixes, configuration simplifications	blob \| commitdiff \| raw \| diff to current
2009-12-08	Morgan Deters	check in automake/libtool/autoconf-generated files...	blob \| commitdiff \| raw \| diff to current