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

2012-07-08	Morgan Deters	Bugs resolved by this commit: #314, #322, #359, #364...	blob \| commitdiff \| raw
2012-06-06	Morgan Deters	Fixing numerous issues with tests and "make dist":	blob \| commitdiff \| raw \| diff to current
2012-02-20	Morgan Deters	portfolio merge	blob \| commitdiff \| raw \| diff to current
2011-09-30	Morgan Deters	interfaces fixes and cleanups...and examples of each...	blob \| commitdiff \| raw \| diff to current
2011-09-29	Morgan Deters	Some base infrastructure for user push/pop; a few bugfi...	blob \| commitdiff \| raw \| diff to current
2011-09-24	Morgan Deters	Fix to building and linking for unit tests. (This...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-04-25	Morgan Deters	Weekend work. The main points:	blob \| commitdiff \| raw \| diff to current
2010-10-31	Morgan Deters	enable dependence graphs in doxygen; fix lots of doxyge...	blob \| commitdiff \| raw \| diff to current
2010-10-27	Morgan Deters	make dist-building more pleasant (put .tar.gz in builds...	blob \| commitdiff \| raw \| diff to current
2010-09-30	Morgan Deters	fixed a number of problems with mac os x builds. build...	blob \| commitdiff \| raw \| diff to current
2010-09-13	Morgan Deters	link TAGS file into builds/ directory, when built....	blob \| commitdiff \| raw \| diff to current
2010-09-02	Morgan Deters	* add TimerStat statistic type	blob \| commitdiff \| raw \| diff to current
2010-09-01	Morgan Deters	"make check" now places binaries in the proper place...	blob \| commitdiff \| raw \| diff to current
2010-04-08	Morgan Deters	A handful of build system fixes:	blob \| commitdiff \| raw \| diff to current
2010-03-08	Morgan Deters	This fixes regressions at levels >= 1 which were failing	blob \| commitdiff \| raw \| diff to current
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

RSS Atom