epfl-lara/stainless v0.6.0

Version 0.6.0 (07-11-2019)

on GitHub

Features

• Enable strict arithmetic by default (#608)
• Introduce stainless.math.wrapping method to opt-out of overflow checks (#608)
• Add @wrapping annotation for function definitions (#608)
• Add ability to resolve extra source dependencies via Coursier (#715)
• Erase values classes (#712)
• Expose @invariant flag to user-land (#712)
• Lift invariants of value classes to a refinement type (#712)
• Implement Map#-- for finite maps (#705)
• Add List.empty method

Improvements

• Enforce overriding of abstract vals with constructor params (#712)
• Ensure soundness of invariants in TreeSanitizer (#712)
• Lift refinements in lets into assertions (#712)
• Update ScalaZ3 to its latest release (bundling Z3 4.7.1) (#707)
• Disallow defining classes within a class body (#697)
• Document type aliases and type members (#686)
• Ensure type parameters with non-trivial bounds are properly encoded (#685)

Bug fixes

• Fix null pointer exception when running --eval (#699)
• Fix warning about multiple library sources (#692)