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

2010-03-08	Morgan Deters	This fixes regressions at levels >= 1 which were failing	blob \| commitdiff \| raw
2010-02-22	Morgan Deters	fix bug 33 (statically link the "cvc4" binary); also...	blob \| commitdiff \| raw \| diff to current
2010-02-03	Morgan Deters	Addressed many of the concerns of bug 10 (build system...	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
2009-12-17	Morgan Deters	coding standard fix on SmtEngine; fix recursive make	blob \| commitdiff \| raw \| diff to current
2009-12-08	Morgan Deters	work on propositional layer, expression builder support...	blob \| commitdiff \| raw \| diff to current
2009-12-05	Morgan Deters	more build system work	blob \| commitdiff \| raw \| diff to current