From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Tue, 30 Jun 2020 21:53:46 +0000 (-0700)
Subject: Update NEWS post 1.8 release (#4666)
X-Git-Tag: cvc5-1.0.0~3160
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d00ee06575318e4fa901f3367e76883bf8692cd9;p=cvc5.git

Update NEWS post 1.8 release (#4666)
---

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
 =================