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

2009-11-20	Morgan Deters	fix to expr #includes; better test-environment configur...	commit \| commitdiff \| tree
2009-11-19	Morgan Deters	testing framework, configure fixes, incorporations...	commit \| commitdiff \| tree
2009-11-18	Morgan Deters	work on exprs, driver, util	commit \| commitdiff \| tree
2009-11-17	Morgan Deters	ignored items	commit \| commitdiff \| tree
2009-11-17	Morgan Deters	from meeting	commit \| commitdiff \| tree
2009-11-17	Morgan Deters	from meeting	commit \| commitdiff \| tree
2009-11-17	Morgan Deters	from meeting	commit \| commitdiff \| tree
2009-11-17	Morgan Deters	fixes/redesign of source layout from meeting	commit \| commitdiff \| tree
2009-11-17	Morgan Deters	another pass	commit \| commitdiff \| tree
2009-11-17	Morgan Deters	fixes and additions	commit \| commitdiff \| tree
2009-11-12	Morgan Deters	minor fixes	commit \| commitdiff \| tree
2009-11-12	Morgan Deters	parser, minisat, other things..	commit \| commitdiff \| tree
2009-11-09	Morgan Deters	minor fixes, added contrib directory	commit \| commitdiff \| tree
2009-11-03	Morgan Deters	additional headers and modifications; now passes syntax...	commit \| commitdiff \| tree
2009-11-03	Morgan Deters	additional headers	commit \| commitdiff \| tree
2009-11-03	Morgan Deters	commit of project structure including autotools support	commit \| commitdiff \| tree
2009-09-26	Morgan Deters	Initial setup of the cvc4 repository	commit \| commitdiff \| tree