Some news about API changes.

diff --git a/NEWS b/NEWS
index f0159f4a14f04b94cc4efb209e78f7c8b437f1d9..9f3e12562c020ed9baf38c87fd900f3f0cb0a145 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -20,6 +20,10 @@ Changes since 1.3
   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.
+* The SmtEngine cannot be safely copied with the copy constructor.
+  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.
 
 Changes since 1.2
 =================

diff --git a/library_versions b/library_versions
index 865ea8d77b2cb1c26ee741bcf36093f8943685d5..966b1d8a85b5c0a6afc1e825f1143ea94481c91f 100644 (file)
--- a/library_versions
+++ b/library_versions
@@ -56,3 +56,4 @@
 1\.3 libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0
 1\.3\.1-prerelease libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0
 1\.4-prerelease libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0
+# some things have changed in the API, 1.4 release should bump these numbers