Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-06-23 | Add support for eqrange predicate (#4562) | Mathias Preiner | |
This commit adds 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, i.e., \forall k . i <= k <= j --> a[k] = b[k]. Requires option --arrays-exp to be enabled. |