Dafny 3.7.1 #2281
fabiomadge
announced in
Announcements
Dafny 3.7.1
#2281
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
fix: The Dafny runtime library for C# is now compatible with .NET Standard 2.1, as it was before 3.7.0. Its version has been updated to 1.2.0 to reflect this. (#2277)
This discussion was created from the release Dafny 3.7.1.
Beta Was this translation helpful? Give feedback.
All reactions