From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 16 Jan 2019 20:27:05 +0000 (-0800)
Subject: Update NEWS file (#2804)
X-Git-Tag: cvc5-1.0.0~4281
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=60b5ac4c6488014feb4820a98e663cc5fdbad5c1;p=cvc5.git

Update NEWS file (#2804)
---

diff --git a/NEWS b/NEWS
index 0cc8cab44..f36460a27 100644
--- a/NEWS
+++ b/NEWS
@@ -4,12 +4,18 @@ Changes since 1.6
 =================
 
 New Features:
+* Strings: Support for `str.replaceall` operator.
 
 Improvements:
 
 Changes:
 * API change: Expr::iffExpr() is renamed to Expr::eqExpr() to reflect its
               actual behavior.
+* Compiling the language bindings now requires SWIG 3 instead of SWIG 2.
+* The CVC3 compatibility layer has been removed.
+* The build system now uses CMake instead of Autotools. Please refer to
+* [INSTALL.md](https://github.com/CVC4/CVC4/blob/master/INSTALL.md) for
+  up-to-date instructions on how to build CVC4.
 
 Changes since 1.5
 =================