diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-26 09:32:20 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-02 17:54:55 -0500 |
commit | 4ea1824e1112738e293d9fc7015efdde6a9efd5c (patch) | |
tree | 56b1f84be925292e277d79588012bc910448d8a5 /NEWS | |
parent | d542d80f1241341752ed1843b63799435642c6f2 (diff) |
Update NEWS file.
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -18,6 +18,7 @@ Changes since 1.2 * Exit codes are now more standard for UNIX command-line tools. Exit code zero means no error---but the result could be sat, unsat, or unknown---and nonzero means error. +* bv2nat/int2bv functionality Changes since 1.1 ================= @@ -57,4 +58,4 @@ Changes since 1.0 "unsat") as well. Now, single -q silences messages and warnings, and double -qq silences all output (except on exception or signal). --- Morgan Deters <mdeters@cs.nyu.edu> Wed, 27 Nov 2013 11:20:58 -0500 +-- Morgan Deters <mdeters@cs.nyu.edu> Mon, 02 Dec 2013 16:58:50 -0500 |