diff options
| -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 ================= |