diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-01-16 12:27:05 -0800 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-01-16 12:27:05 -0800 |
| commit | 60b5ac4c6488014feb4820a98e663cc5fdbad5c1 (patch) | |
| tree | 9011971575cca1d60f10706a3232376ac80b9753 /NEWS | |
| parent | 0287acb1180db269c5dd0fe0dad8f2fa925ba0b9 (diff) | |
Update NEWS file (#2804)
Diffstat (limited to 'NEWS')
| -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 ================= |