Java datatype API fixups, datatype API examples

[cvc5.git] / NEWS

diff --git a/NEWS b/NEWS
index 46f5deee269317b547084ca905037d10d58d0a34..74b9a6c0ac30b6cebf1423778f9a814c378648f1 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -4,6 +4,16 @@ Changes since 1.3
 =================
 
 * 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.  CVC4 also builds with GPL dependences by default now
+  (if those libraries are available), as this is the best-performing
+  version of CVC4.  However, the new configure option "--bsd" disables
+  these GPL dependences and builds the best-performing BSD-licenced version
+  of CVC4.
+* Small API adjustments to Datatypes to even out the API and make it
+  function better in Java.
 
 Changes since 1.2
 =================