Skip to content

Version 0.5.0 (12-09-2019)

Pre-release
Pre-release
Compare
Choose a tag to compare
@romac romac released this 12 Sep 13:44
v0.5.0

Features

  • Bump Scala version to 2.12.9 and update sbt to 1.3.0 (#629, #591)
  • Add support for removing elements from Map (#688)
  • Setting stainlessEnabled := false keeps both library sources and ghost elimination (#684)
  • Include Stainless library sources even when verification is disabled in sbt plugin (#680)
  • Add --config-file option to specify or disable configuration file (#648)

Improvements

  • Document type aliases and type members support (#686)
  • Add Cont monad benchmark to model exceptions (#675)
  • Make qed be of unit type with post-condition (#669)
  • Do not consider built-in classes in override chain (#661)
  • Induct flag only adds decreases check if type checker is enabled (#657)
  • Improve position reporting for postconditions (#656)
  • Remove warnings for asserts in extern functions (#651)
  • Propagate @ghost annotation to variables introduced by calls to default copy getter (#643)

Bug fixes

  • Fix bad mutual recursion in GodelNumbering proof (#679)
  • Ensure type parameters with non-trivial bounds are properly encoded (#685)
  • Do not check model when invoking solver during partial evaluation (#676)