git.libre-soc.org Git - cvc5.git/history - contrib/update-copyright.pl

[cvc5.git] / contrib / update-copyright.pl

2011-02-26	Morgan Deters	Commit to fix bug 241 (improper "using namespace std...	blob \| commitdiff \| raw
2010-07-02	Morgan Deters	* Added white-box TheoryEngine test that tests the...	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-05	Christopher L. Conway	Updating copyright exclusion	blob \| commitdiff \| raw \| diff to current
2010-04-05	Christopher L. Conway	Moving code imported from libantlr3c to separate file...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	reran update-copyright.pl to get new contributors and...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	PARSER STUFF:	blob \| commitdiff \| raw \| diff to current
2010-02-25	Morgan Deters	* src/expr/node.h: add a copy constructor. Apparently...	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-04	Morgan Deters	Added theory output channel interfaces and "Interrupted...	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-03	Morgan Deters	first attempt at new build system	blob \| commitdiff \| raw \| diff to current
2009-11-24	Morgan Deters	various fixes and updates to use and support parser	blob \| commitdiff \| raw \| diff to current
2009-11-24	Morgan Deters	configure option adjustments as per 11/24 meeting;...	blob \| commitdiff \| raw \| diff to current
2009-11-18	Morgan Deters	work on exprs, driver, util	blob \| commitdiff \| raw \| diff to current
2009-11-17	Morgan Deters	another pass	blob \| commitdiff \| raw \| diff to current
2009-11-17	Morgan Deters	fixes and additions	blob \| commitdiff \| raw \| diff to current

RSS Atom