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

2013-01-23	Morgan Deters	update NEWS file	blob \| commitdiff \| raw
2012-12-01	Morgan Deters	Cutting release 1.0.	blob \| commitdiff \| raw \| diff to current
2012-10-06	Morgan Deters	* Clean up some options documentation	blob \| commitdiff \| raw \| diff to current
2009-11-03	Morgan Deters	commit of project structure including autotools support	blob \| commitdiff \| raw \| diff to current