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

2013-04-03	Morgan Deters	Some final minor changes before cutting 1.1.	blob \| commitdiff \| raw
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-09-22	Morgan Deters	Separate public-facing and internal-facing interfaces...	blob \| commitdiff \| raw \| diff to current
2012-09-19	Morgan Deters	General subscriber infrastructure for NodeManager,...	blob \| commitdiff \| raw \| diff to current
2012-02-20	Morgan Deters	portfolio merge	blob \| commitdiff \| raw \| diff to current
2012-02-13	François Bobot	precision in theoryskel	blob \| commitdiff \| raw \| diff to current
2010-09-27	ACSYS	add workaround for systems (i.e., Mac OS X) that don...	blob \| commitdiff \| raw \| diff to current
2010-07-05	Morgan Deters	workaround for strange CIMS installation of automake...	blob \| commitdiff \| raw \| diff to current
2010-07-05	Clark Barrett	Added Cesare to list of authors	blob \| commitdiff \| raw \| diff to current
2010-07-05	Clark Barrett	Changed AUTHORS - removed references to earlier CVC...	blob \| commitdiff \| raw \| diff to current
2010-07-03	Morgan Deters	With this commit come a number of changes to build...	blob \| commitdiff \| raw \| diff to current
2010-02-10	Morgan Deters	svn:ignore for build stuff; add Liana to AUTHORS	blob \| commitdiff \| raw \| diff to current
2009-11-12	Morgan Deters	parser, minisat, other things..	blob \| commitdiff \| raw \| diff to current
2009-11-03	Morgan Deters	commit of project structure including autotools support	blob \| commitdiff \| raw \| diff to current

RSS Atom