Skip to content

ISLa 1.9.3

Choose a tag to compare

View all tags
@rindPHI rindPHI released this 10 Nov 12:00
· 165 commits to main since this release
v1.9.3
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.
d282387
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

[1.9.3] - 2022-11-10

Changed

  • Further improvements in input repair: Better ordering of abstracted trees. Now, all
    abstractions are generated at once (not lazily in a generator), which might impact
    performance; however, the results are ordered by tree size, i.e., less abstract trees
    come first, which is the expected behavior. Code is simplified.

[1.9.2] - 2022-11-10

Changed

  • Improved input repair:
    • Results are more local now, performance improvement for more complicated repairs
    • Fixed tree abstraction for the top (empty) path
Assets 2
Loading