diff options
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -11,6 +11,12 @@ Changes since 1.3 version of CVC4. However, the new configure option "--bsd" disables these GPL dependences and builds the best-performing BSD-licenced version of CVC4. +* Better automatic handling of output language setting when using CVC4 + via API. Previously, the "automatic" language setting was sometimes + (though not always) defaulting to the internal "AST" language; it + 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. Changes since 1.2 ================= |