Skip to content

ISLa 1.14.0

Choose a tag to compare

View all tags
@rindPHI rindPHI released this 05 Jul 13:31
· 26 commits to main since this release
v1.14.0
This tag was signed with the committer’s verified signature. The key has expired.
rindPHI Dominic Steinhöfel
GPG key ID: 0DF810D4733ECFD2
Expired
Verified
Learn about vigilant mode.
8319629
This commit was signed with the committer’s verified signature. The key has expired.
rindPHI Dominic Steinhöfel
GPG key ID: 0DF810D4733ECFD2
Expired
Verified
Learn about vigilant mode.

[1.14.0] - 2023-07-05

Changed

  • Improved optimized handling of str.to.int (when enable_optimized_z3_queries is
    enabled). For variables exclusively appearing in str.to.int, we support a wider
    range of possible solutions, such as negative numbers or languages with an optional
    + or padding of zeroes in front. Furthermore, ISLa tries to infer the domains of
    these variables automatically, e.g., to exclude "0" or negative values.
Assets 2
Loading