diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-07-07 12:46:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-07 12:46:59 -0700 |
| commit | 75e56930987398a02d1c90c723b4f18ea7c0d7c4 (patch) | |
| tree | 6dd89f6c80d1a89ca2089361ad7337fbe7ba7660 | |
| parent | 239d9ecf1afc663803191c7347fee97d9089b982 (diff) | |
pow2: Update NEWS. (#6851)
| -rw-r--r-- | NEWS | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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 |