Update NEWS post 1.8 release (#4666)

diff --git a/NEWS b/NEWS
index f5f9bc03a0162b7562ddea164d8c504c358b18ed..827361f54606ae3e30ec47a5fbf2dd8a4b02eeb2 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -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
 =================