search

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless
Apache License 2.0
6 stars 2 forks source link

Rebase stainless and inox dependency #87

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

A number of bugs have been solved on Stainless, therefore this PR uses new, rebased versions of both Inox and Stainless. It also turns on measure inference and hence closes #86.