From 60b5ac4c6488014feb4820a98e663cc5fdbad5c1 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Wed, 16 Jan 2019 12:27:05 -0800 Subject: [PATCH] Update NEWS file (#2804) --- NEWS | 6 ++++++ 1 file changed, 6 insertions(+) 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 ================= -- 2.30.2