epfl-lara/stainless v0.7.0

Version 0.7.0 (07-02-2020)

on GitHub

Features

• Enable --type-checker by default (#721)
• Rework the termination checker to infer measures for recursive functions (#721)

Improvements

• Relax mutual recursion check for functions/ADTs enough for TypeEncoding (#721)
• Add List#toScala and List.fromScala to the library (#708)
• Add methods map, withFilter, toList, and toScala to Set (#708)
• Add methods keys, values, toList and toScala to Map (#708)

Bug fixes

• Add missing position in FieldAccessors phase (#734)
• Fix extraction of extern types with Dotty frontend (#708)