Dafny 3.4.1 #1826

fabiomadge announced in Announcements

fabiomadge
Feb 15, 2022
Maintainer

feat: Plugin support in the resolution pipeline (feat: Plugin support #1739)
fix: NullPointerException in the AST (fix: NullPointerException in SkeletonStatement #1805)
fix: Change datatype deconstruction in match statements for C# (Bad cast involving variant datatypes #1815)

This discussion was created from the release Dafny 3.4.1.

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment