diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-03 11:16:57 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-03 11:18:16 -0400 |
| commit | e6e4bf1f11e0c09a8fd414aa4f91e9bbe3eb19cd (patch) | |
| tree | dae91ed6436e73fe3d839f91e79eb33d4220b507 /NEWS | |
| parent | 5f875d967103452b6585d701b13a6ed5a2bf2a51 (diff) | |
Note array const support in NEWS
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 ================= |