From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 7 Jul 2021 19:46:59 +0000 (-0700)
Subject: pow2: Update NEWS. (#6851)
X-Git-Tag: cvc5-1.0.0~1517
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=75e56930987398a02d1c90c723b4f18ea7c0d7c4;p=cvc5.git

pow2: Update NEWS. (#6851)
---

diff --git a/NEWS b/NEWS
index 8e0ace2cf..74ee86165 100644
--- a/NEWS
+++ b/NEWS
@@ -14,8 +14,11 @@ New Features:
   syntax for sequences used by Z3.
 * 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`.
-* Support for an integer operator `(_ iand n)` that returns the bitwise `and`
-  of two integers, seen as integers modulo n.
+* Integers:
+  * Support for an integer operator `(_ iand n)` that returns the bitwise `and`
+    of two integers, seen as integers modulo n.
+  * Support for an integer operator `int.pow2`, used as `(int.pow2 x)` which
+    represents 2 to the power of x.
 * Strings:
   * Support for `str.indexof_re(s, r, n)`, which returns the index of the first
     occurrence of a regular expression `r` in a string `s` after index `n` or