search

dafny-lang / libraries

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

Added Dafny 4.8.0 in tests #159

Closed MikaelMayer closed 2 months ago

MikaelMayer commented 3 months ago

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

fabiomadge commented 3 months ago

We should probably wait for fixes to those failed tests.

MikaelMayer commented 2 months ago

No longer needed as we are deprecating libraries in favor of the standard library