stainless

What's Changed

• Update readme and dependencies by @sankalpgambhir in https://github.com/epfl-lara/stainless/pull/1663
• Move installation and build to docs; clean up tutorial docs by @sankalpgambhir in https://github.com/epfl-lara/stainless/pull/1664
• Fix crashing on receiving no input files by @sankalpgambhir in https://github.com/epfl-lara/stainless/pull/1666
• Add measures in library b...

• Scala version is now 3.7.2
• Improved reporting for ExtractionFailed https://github.com/epfl-lara/stainless/pull/1620
• Add support for extracting from Tasty https://github.com/epfl-lara/stainless/pull/1606
• Add support for pattern alternatives https://github.com/epfl-lara/stainless/pull/1627
• Tail recursion elimination for GenC https://github.com/epfl-lara/stainless/pull/1626
• Added a...

• Scala version is now 3.5.2
• Update to Inox that supports Horn clause solving, https://github.com/epfl-lara/inox/pull/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...

• Default cache now only stores SHA-256 hash of formulas ( -binary-cache=true for old version) #1593, #1591 fixes https://github.com/epfl-lara/stainless/issues/1576
• Scala version is now 3.5.0
• Inox now has a solver for ground assertions based on internal evaluator (Inox #218), called eval
• Opaque Forall and ensures: help higher order contracts (#1567)
• Option --compact also reduces p...

Version 0.9.8.8 (2024-08-22)

Stainless frontend, library and internals

• Remove Scala 2 frontend (#1517)
• Transform throw into assert(false) (#1521)
• Add measure transfer for equivalence checking (#1557)
• Add further benchmarks for equivalence checking (#1538, #1554)
• Add SAT Check for precondition (#1548)
• Add various specifications to Stainless library (#1555, #1541)...