diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-03 13:12:11 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-03 13:12:17 -0400 |
| commit | eb63fdb37b2784d6d4340402cd0ee00ceb8f5041 (patch) | |
| tree | 762648416161edb6b939334aefa9c75349073e95 /NEWS | |
| parent | bd05758bc141f0b922916b63089e7e8748f8da31 (diff) | |
More array constants and parsing: better error messages, extend to CVC presentation language.
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -6,6 +6,7 @@ Changes since 1.4 * Support for unsat cores. * Simplification mode "incremental" no longer supported. * Support for array constants in constraints. +* Syntax for array models have changed in some language front-ends. Changes since 1.3 ================= |