From: Morgan Deters Date: Mon, 9 Jun 2014 20:37:59 +0000 (-0400) Subject: Some news about API changes. X-Git-Tag: cvc5-1.0.0~6841 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=37d278c80d1a8c5b6a88b4a5f4a912e7edaac1c3;p=cvc5.git Some news about API changes. --- 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