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

2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw
2010-09-30	Morgan Deters	fixed a number of problems with mac os x builds. build...	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	better exception wording, assertion-handling in multipl...	blob \| commitdiff \| raw \| diff to current
2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw \| diff to current
2010-04-04	Morgan Deters	* Node::isAtomic() now looks at an "atomic" attribute...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	PARSER STUFF:	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-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
2009-12-17	Morgan Deters	update-copyright.pl now retrieves and incorporates...	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

RSS Atom