From 4ea1824e1112738e293d9fc7015efdde6a9efd5c Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 26 Sep 2013 09:32:20 -0400 Subject: [PATCH] Update NEWS file. --- NEWS | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index a706a3fa9..0000eda69 100644 --- a/NEWS +++ b/NEWS @@ -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 Wed, 27 Nov 2013 11:20:58 -0500 +-- Morgan Deters Mon, 02 Dec 2013 16:58:50 -0500 -- 2.30.2