diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-17 17:29:49 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:39 -0400 |
| commit | 11a370348f92dfcf723b6a9318769ba3b27167e4 (patch) | |
| tree | a3f997148567d7e381d0aef1234d2ee41a7231bd /NEWS | |
| parent | d6eb4cccbac83fef58e98847178c04bf1b8b0ff2 (diff) | |
Documentation clean-ups.
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,6 @@ This file contains a summary of important user-visible changes. 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 @@ -14,6 +13,7 @@ Changes since 1.3 licensing and dependences, see the README file. * Small API adjustments to Datatypes to even out the API and make it function better in Java. +* Timed statistics are now properly updated even on process abort. * 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 |