From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Tue, 3 Dec 2013 20:04:58 +0000 (-0600)
Subject: change string news
X-Git-Tag: cvc5-1.0.0~7217
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ef5b1909ccdd50d566264682bd2cb43ada706fed;p=cvc5.git

change string news
---

diff --git a/NEWS b/NEWS
index 0000eda69..02779ed24 100644
--- a/NEWS
+++ b/NEWS
@@ -14,7 +14,8 @@ Changes since 1.2
   resolved.
 * New :command-verbosity SMT option to silence success and error messages
   on a per-command basis.  API changes to Command infrastructure to support.
-* A new theory of strings.  Currently, only word equations are supported.
+* A new theory of strings: word (dis-)equations, length constraints,
+  regular expressions.
 * 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.