diff options
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -4,6 +4,7 @@ Changes since 1.3 ================= * Timed statistics are now properly updated even on process abort. +* The LFSC proof checker has been incorporated into CVC4 sources. * By default, CVC4 builds in "production" mode (optimized, with fewer internal checks on). The common alternative is a "debug" build, which is much slower. By default, CVC4 builds with no GPL'ed dependences. @@ -11,6 +12,8 @@ Changes since 1.3 configure with "--enable-gpl --best", which links against GPL'ed libraries that improve usability and performance. For details on licensing and dependences, see the README file. +* 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 |