search

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
359 stars 53 forks source link

Use a single normalization function between the VC cache and the Registry cache #88

Closed mantognini closed 6 years ago

mantognini commented 7 years ago

See some comments here: https://github.com/epfl-lara/stainless/pull/67#pullrequestreview-60528810

samarion commented 6 years ago

Fixed using new Inox Serializers