epfl-lara/stainless v0.7.3

Version 0.7.3 (2020-09-08)

on GitHub

Improvements

• Remove check that measure has good type at call site (this was making arguments of recursive functions being type-checked twice, and thus duplicating VCs)
• Instead, add check that mutually recursive functions have the same measure type
• SplitCallBack now processes mutually recursive functions together
• Improve HTML output for type-checking derivation