diff options
-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 |