From d00ee06575318e4fa901f3367e76883bf8692cd9 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Tue, 30 Jun 2020 14:53:46 -0700
Subject: [PATCH] Update NEWS post 1.8 release (#4666)

---
 NEWS | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/NEWS b/NEWS
index f5f9bc03a..827361f54 100644
--- 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
 =================
 
-- 
2.30.2