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

2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw
2010-04-01	Morgan Deters	PARSER STUFF:	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-03-05	Morgan Deters	* public/private code untangled (smt/smt_engine.h no...	blob \| commitdiff \| raw \| diff to current
2010-03-02	Morgan Deters	* NodeBuilder work: specifically, convenience builders...	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	remove -- c++ -- emacs tag from source files (it...	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	minor fix for update-copyright.pl; ran update-copyright...	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	update-copyright.pl now retrieves and incorporates...	blob \| commitdiff \| raw \| diff to current
2009-12-17	Morgan Deters	+ test infrastructure fixes	blob \| commitdiff \| raw \| diff to current
2009-12-10	Morgan Deters	cleanups, assert work, add a stubbed uf theory, fix...	blob \| commitdiff \| raw \| diff to current
2009-12-09	Morgan Deters	some fixes and organizational adjustments to assert...	blob \| commitdiff \| raw \| diff to current
2009-12-08	Morgan Deters	work on propositional layer, expression builder support...	blob \| commitdiff \| raw \| diff to current

RSS Atom