Skip to content

Stainless 0.9.9.0 (2024-12-09)

Latest
Latest
Compare
Choose a tag to compare
@mbovel mbovel released this 09 Dec 14:13
· 7 commits to main since this release
v0.9.9.0
This tag was signed with the committer’s verified signature.
mbovel Matt Bovel
GPG key ID: AAA829D07F3616CF
Learn about vigilant mode.
805b1f7
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
  • Scala version is now 3.5.2
  • Update to Inox that supports Horn clause solving, epfl-lara/inox#214
  • Fix an extraction bug with type synonym definitions (#1595)
  • Explicit measures in List library so termination checks are cached
  • More properties and methods on lists and sets
  • Set considered to have positive polarity (it is finite)
  • Internal solver errors are now silent by default
Assets 7
Loading