diff options
-rw-r--r-- | NEWS | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 ================= |