projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b1dc477)
Update NEWS.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 11 Dec 2013 04:43:02 +0000 (23:43 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 11 Dec 2013 04:43:02 +0000 (23:43 -0500)
NEWS patch | blob | history

diff --git a/NEWS b/NEWS
index e7c50201556afa1f4372b4bfb1cc84c67c3d1414..46f5deee269317b547084ca905037d10d58d0a34 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,7 +3,7 @@ This file contains a summary of important user-visible changes.
 Changes since 1.3
 =================
 
-* none yet
+* Timed statistics are now properly updated even on process abort.
 
 Changes since 1.2
 =================