diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-24 13:25:30 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-24 13:25:30 -0500 |
commit | a70dfd183b52f50d132d8b17425c7089a77004e7 (patch) | |
tree | 41d783cff1f6097bd76b77c561bbd77111317437 /NEWS | |
parent | 371fa29e5742a58581481f3d7d94a8116a814447 (diff) | |
parent | e23a40c0d121209afecff21ce5c6ed6e644bfb0e (diff) |
Merge branch '1.3.x'
Conflicts:
NEWS
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -14,6 +14,12 @@ Changes since 1.3 of CVC4. * Small API adjustments to Datatypes to even out the API and make it function better in Java. +* 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 ================= |