Skip to content

ISLa 1.9.6
Compare
Choose a tag to compare
@rindPHI rindPHI released this 15 Dec 16:08
· 152 commits to main since this release
v1.9.6
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.
0d8b5ea
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.9.6] - 2022-12-15

Changed

  • Fixed hashing in call to solver.is_valid_combination
  • Performance improvements, mainly by avoiding replace_formula for top-level formulas
    (performing shallow replace instead) and re-using the same objects for atomic SMT
    formulas.
Assets 2
Loading