diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-30 14:53:46 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-30 16:53:46 -0500 |
| commit | d00ee06575318e4fa901f3367e76883bf8692cd9 (patch) | |
| tree | d0054c20609f32ccaae94de7db4fabc471900029 /NEWS | |
| parent | 770350a0e14d0e13d5f5b9050c60eb3a449575f3 (diff) | |
Update NEWS post 1.8 release (#4666)
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -3,10 +3,17 @@ This file contains a summary of important user-visible changes. Changes since 1.8 ================= +New Features: +* Arrays: Added support for an `eqrange` predicate. `(eqrange a b i j)` is true + if arrays `a` and `b` are equal on all indices within indices `i` and `j`. + Improvements: * New API: Added functions to retrieve the heap/nil term when using separation logic. +Changes: +* SyGuS: Removed support for SyGuS-IF 1.0. + Changes since 1.7 ================= |