Version 0.7.5 (2020-11-27)

Version 0.7.5 (2020-11-27)

Features

• Add admit-vcs option to generate VCs without sending them to the solver
• Add support for indexed types in scalac frontend

Improvements

• Generalize specification helpers (#828)

Bug fixes

• Remove unsound type-checking rule for function types, and add subtying rules instead