Chore: Proofs not depending on leaks of opaque + brittleness reduction

dafny-lang / libraries

Libraries useful for Dafny programs

Other

43 stars 25 forks source link

Chore: Proofs not depending on leaks of opaque + brittleness reduction #149

Closed MikaelMayer closed 8 months ago

MikaelMayer commented 8 months ago

I added reveal statements where they were previously "leaked" because of fuel encoding that are soon going away. I also reduced the RU for ToLarge from 6.8M to 1.3M.

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.