search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

Adding 4.1.0 to versions to test #125

Closed davidcok closed 1 year ago

davidcok commented 1 year ago

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

davidcok commented 1 year ago

Problem: Some modules fail under 4.1.0