dafny-lang / libraries

Libraries useful for Dafny programs

Other

43 stars 25 forks source link

Bump Dafny version to 3.4.0 #33

Closed fabiomadge closed 2 years ago

fabiomadge commented 2 years ago

We made a new Dafny release.

robin-aws commented 2 years ago

36 will move to 3.4.1 and has a fix to the verification that's timing out as well