projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5f875d9)
Note array const support in NEWS
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 3 Oct 2014 15:16:57 +0000 (11:16 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 3 Oct 2014 15:18:16 +0000 (11:18 -0400)
NEWS patch | blob | history

diff --git a/NEWS b/NEWS
index 2589fda879687da922972b07a3c363f57b030991..fc8a38864c88c22b8adaad68efda7b630fe33c4f 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -5,6 +5,7 @@ Changes since 1.4
 
 * Support for unsat cores.
 * Simplification mode "incremental" no longer supported.
+* Support for array constants in constraints.
 
 Changes since 1.3
 =================