diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-30 16:25:27 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-07-01 14:36:49 -0400 |
| commit | 61ca254309912bb7b03c70f946936600c84bd879 (patch) | |
| tree | fb48c815aa32d9c70edcd337780f0a4b6fce39f1 | |
| parent | 4568f2b2274ede83c26a2d3f2b649e7ff6e984a9 (diff) | |
reword NEWS
| -rw-r--r-- | NEWS | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -3,8 +3,11 @@ This file contains a summary of important user-visible changes. Changes since 1.3 ================= -* Building with libc++ instead of libstdc++ (on Mac especially). +* CVC4 now supports libc++ in addition to libstdc++ (this especially + helps on Mac OS Mavericks). * The LFSC proof checker has been incorporated into CVC4 sources. +* Theory of finite sets, handling the MLSS fragment (singleton, union, + intersection, set subtraction, membership and subset). * By default, CVC4 builds in "production" mode (optimized, with fewer internal checks on). The common alternative is a "debug" build, which is much slower. By default, CVC4 builds with no GPL'ed dependences. @@ -25,8 +28,6 @@ Changes since 1.3 Previous versions inadvertently permitted clients to do this via the API. This has been corrected, copy and assignment of the SmtEngine is no longer permitted. -* Theory of finite sets, handling the MLSS fragment (singleton, union, - intersection, set subtraction, membership and subset). Changes since 1.2 ================= |