From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 26 Sep 2013 13:32:20 +0000 (-0400)
Subject: Update NEWS file.
X-Git-Tag: cvc5-1.0.0~7228
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4ea1824e1112738e293d9fc7015efdde6a9efd5c;p=cvc5.git

Update NEWS file.
---

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