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

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

2019-03-25	Aina Niemetz	update-copyright: Fix matching of excluded paths.	blob \| commitdiff \| raw
2018-09-04	Andres Noetzli	Remove CVC3 compatibility layer (#2418)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Fix update-copyright script for files without a header.	blob \| commitdiff \| raw \| diff to current
2018-04-02	Clark Barrett	Remove references to nyu (#1721)	blob \| commitdiff \| raw \| diff to current
2018-02-06	Aina Niemetz	Updated year in update-copyright script.	blob \| commitdiff \| raw \| diff to current
2017-07-11	Mathias Preiner	Remove trailing slashes from directories if specified...	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update files that are part of the CVC4 license, exclude...	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Escape left brace in regex in update-copyright script.	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2014-11-10	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-05	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-17	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-16	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-11	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-10	Kshitij Bansal	Merge remote-tracking branch 'origin/1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-09	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-06	Morgan Deters	Copyright-updating script now retains non-NYU/UIowa...	blob \| commitdiff \| raw \| diff to current
2014-09-26	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-26	Morgan Deters	Clarify some licensing-related things.	blob \| commitdiff \| raw \| diff to current
2014-01-02	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-02	Morgan Deters	Update copyright year.	blob \| commitdiff \| raw \| diff to current
2013-12-05	Morgan Deters	Script fixes; when determining authorship of source...	blob \| commitdiff \| raw \| diff to current
2013-04-01	Morgan Deters	Merging some cleanup work:	blob \| commitdiff \| raw \| diff to current
2013-03-15	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-14	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-13	lianah	post failed attempts at getting the incremental solver...	blob \| commitdiff \| raw \| diff to current
2013-03-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-01	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-26	lianah	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-17	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-16	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Tim King	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-08	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Kshitij Bansal	Merge remote-tracking branch 'origin/1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-04	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-04	Morgan Deters	fixed files with DOS newlines; fixed contrib/ scripts...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-02-12	Morgan Deters	copyright year updated to 2012	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-16	Morgan Deters	fix serious issue with copyright-updating script	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-03-30	Morgan Deters	Add Valuation::getSatValue() so that theories can acces...	blob \| commitdiff \| raw \| diff to current
2011-02-26	Morgan Deters	Commit to fix bug 241 (improper "using namespace std...	blob \| commitdiff \| raw \| diff to current
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