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 /test/regress/regress0/bug168.smt | |
| 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 'test/regress/regress0/bug168.smt')
0 files changed, 0 insertions, 0 deletions