summaryrefslogtreecommitdiff
path: root/contrib/update-copyright.pl
AgeCommit message (Expand)Author
2017-07-11Remove trailing slashes from directories if specified via command line.Mathias Preiner
2017-07-07Update copyright headers.Mathias Preiner
2017-07-07Update files that are part of the CVC4 license, exclude minisat files.Mathias Preiner
2017-07-07Escape left brace in regex in update-copyright script.Mathias Preiner
2016-04-20update from the masterPaulMeng
2014-10-06Copyright-updating script now retains non-NYU/UIowa copyrights in files if pr...Morgan Deters
2014-09-26Clarify some licensing-related things.Morgan Deters
2014-01-02Update copyright year.Morgan Deters
2013-12-05Script fixes; when determining authorship of source files, don't count copyri...Morgan Deters
2013-04-01Merging some cleanup work:Morgan Deters
2013-02-04fixed files with DOS newlines; fixed contrib/ scripts to use gitMorgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-02-12copyright year updated to 2012Morgan Deters
2011-09-30interfaces fixes and cleanups...and examples of each interface!Morgan Deters
2011-09-16fix serious issue with copyright-updating scriptMorgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-03-30Add Valuation::getSatValue() so that theories can access the currentMorgan Deters
2011-02-26Commit to fix bug 241 (improper "using namespace std" in a header). This cau...Morgan Deters
2010-07-02* Added white-box TheoryEngine test that tests the rewriterMorgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-04-05Updating copyright exclusionChristopher L. Conway
2010-04-05Moving code imported from libantlr3c to separate file and adding copyright ex...Christopher L. Conway
2010-04-01reran update-copyright.pl to get new contributors and add new header comments...Morgan Deters
2010-04-01PARSER STUFF:Morgan Deters
2010-02-25* src/expr/node.h: add a copy constructor. Apparently GCC doesn'tMorgan Deters
2010-02-04remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing...Morgan Deters
2010-02-04minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re...Morgan Deters
2010-02-04Added theory output channel interfaces and "Interrupted" exception.Morgan Deters
2009-12-17update-copyright.pl now retrieves and incorporates author information from re...Morgan Deters
2009-12-03first attempt at new build systemMorgan Deters
2009-11-24various fixes and updates to use and support parserMorgan Deters
2009-11-24configure option adjustments as per 11/24 meeting; various fixes and improvem...Morgan Deters
2009-11-18work on exprs, driver, utilMorgan Deters
2009-11-17another passMorgan Deters
2009-11-17fixes and additionsMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback