From 75e56930987398a02d1c90c723b4f18ea7c0d7c4 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Wed, 7 Jul 2021 12:46:59 -0700 Subject: [PATCH] pow2: Update NEWS. (#6851) --- NEWS | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) 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 -- 2.30.2