diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-09 16:37:59 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-10 17:35:59 -0400 |
commit | 37d278c80d1a8c5b6a88b4a5f4a912e7edaac1c3 (patch) | |
tree | 2638e4074fb44548207dd4bf52e7719a5bd9be1c | |
parent | 629824db3911ab11ae286e4b14151a537602ba5a (diff) |
Some news about API changes.
-rw-r--r-- | NEWS | 4 | ||||
-rw-r--r-- | library_versions | 1 |
2 files changed, 5 insertions, 0 deletions
@@ -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 |