diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-03 13:08:00 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-03 13:08:00 -0400 |
commit | 89ce2eb5c066d4fb6d6e9a23cd9c80ca39eb2493 (patch) | |
tree | 5ad57159d571756118d16867e62615a2b21c384d /AUTHORS | |
parent | c9c41118eb3af8c882019a6e978e838ac793002d (diff) |
Some final minor changes before cutting 1.1.
* update documentation
* update the cut-release script
* spelling/wording updates
* add a (previously-failing) fuzzer regression
Diffstat (limited to 'AUTHORS')
-rw-r--r-- | AUTHORS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -8,6 +8,7 @@ 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 + Tianyi Liang <tianyi-liang@uiowa.edu>, The University of Iowa Andrew Reynolds <andrew.j.reynolds@gmail.com>, The University of Iowa Cesare Tinelli <tinelli@cs.uiowa.edu>, The University of Iowa |