String parsing example in CVC parser

[cvc5.git] / NEWS

diff --git a/NEWS b/NEWS
index e7c50201556afa1f4372b4bfb1cc84c67c3d1414..f0159f4a14f04b94cc4efb209e78f7c8b437f1d9 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,7 +3,23 @@ This file contains a summary of important user-visible changes.
 Changes since 1.3
 =================
 
-* none yet
+* Timed statistics are now properly updated even on process abort.
+* The LFSC proof checker has been incorporated into CVC4 sources.
+* 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.
+  However, this is not the best-performing version; for that, you should
+  configure with "--enable-gpl --best", which links against GPL'ed
+  libraries that improve usability and performance.  For details on
+  licensing and dependences, see the README file.
+* Small API adjustments to Datatypes to even out the API and make it
+  function better in Java.
+* Better automatic handling of output language setting when using CVC4
+  via API.  Previously, the "automatic" language setting was sometimes
+  (though not always) defaulting to the internal "AST" language; it
+  should now (correctly) default to the same as the input language
+  (if the input language is supported as an output language), or the
+  "CVC4" native output language if no input language setting is applied.
 
 Changes since 1.2
 =================