summaryrefslogtreecommitdiff
path: root/NEWS
diff options
context:
space:
mode:
Diffstat (limited to 'NEWS')
-rw-r--r--NEWS6
1 files changed, 6 insertions, 0 deletions
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
=================
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback