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 /README | |
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 'README')
-rw-r--r-- | README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -This is CVC4 release version 1.0. For build and installation notes, +This is CVC4 release version 1.1. For build and installation notes, please see the INSTALL file included with this distribution. This first official release of CVC4 is the result of more than three |