From 37d278c80d1a8c5b6a88b4a5f4a912e7edaac1c3 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 9 Jun 2014 16:37:59 -0400 Subject: [PATCH] Some news about API changes. --- NEWS | 4 ++++ library_versions | 1 + 2 files changed, 5 insertions(+) diff --git a/NEWS b/NEWS index f0159f4a1..9f3e12562 100644 --- 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 865ea8d77..966b1d8a8 100644 --- 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 -- 2.30.2