diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-07-05 16:07:04 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-07-05 16:07:04 -0500 |
| commit | ad3d7ccf4be2d59b6f7b60b593dd2c30445828ec (patch) | |
| tree | 9808e7476adb58cc0ac6afb656fdc3ef06d388a3 /NEWS | |
| parent | b329aff2cdee935377cbe88c289d083fb10c2af8 (diff) | |
Update unit test, news.
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -13,6 +13,7 @@ Changes since 1.4 * A new theory of sets with cardinality and relations. * A new theory of strings. * Support for unsat cores. +* Support for separation logic constraints. * Simplification mode "incremental" no longer supported. * Support for array constants in constraints. * Syntax for array models has changed in some language front-ends. |