From 61ca254309912bb7b03c70f946936600c84bd879 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 30 Jun 2014 16:25:27 -0400 Subject: reword NEWS --- NEWS | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/NEWS b/NEWS index ee45c201b..431c95980 100644 --- a/NEWS +++ b/NEWS @@ -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 ================= -- cgit v1.2.3