Skip to content

Stainless 0.9.9.0 (2024-12-09)

Latest
Compare
Choose a tag to compare
@mbovel mbovel released this 09 Dec 14:13
· 5 commits to main since this release
v0.9.9.0
805b1f7
  • 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