diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-10-11 17:06:16 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-10-11 17:06:16 +0000 |
| commit | 559710702e4df3ddaac4905705cf93c08502984b (patch) | |
| tree | b650ed201246f650a5220d9fa7e01fd8fe62498b /AUTHORS | |
| parent | ee65bafc737d36eaabb871c016e6756aef5bd115 (diff) | |
Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's
just the header comments at the top, though. Don't update to this rev if
you don't have time for a complete rebuild, and exclude this rev if you
want to see what's new across a range of commits.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -8,8 +8,8 @@ The core authors and designers of CVC4 are: Liana Hadarean <lianah@cs.nyu.edu>, New York University Dejan Jovanovic <dejan@cs.nyu.edu>, New York University Tim King <taking@cs.nyu.edu>, New York University - Andrew Reynolds <andrew.j.reynolds@gmail.com>, University of Iowa - Cesare Tinelli <tinelli@cs.uiowa.edu>, University of Iowa + Andrew Reynolds <andrew.j.reynolds@gmail.com>, The University of Iowa + Cesare Tinelli <tinelli@cs.uiowa.edu>, The University of Iowa CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does not directly incorporate code from any previous version. Information about |