diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-24 13:24:56 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-24 13:24:56 -0500 |
commit | e23a40c0d121209afecff21ce5c6ed6e644bfb0e (patch) | |
tree | 03752744a3388bd716c83c1dd3a4ba29556bb062 /NEWS | |
parent | f42dcea977ed9180481cc842531e2c5372acbbe1 (diff) |
Better automatic handling of output language setting.
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 ================= |