• feat: Less code navigation when verifying code: In the IDE, failing postconditions and preconditions error messages now immediately display the sub-conditions that Dafny could not prove. Both on hover and in the Problems window. (#2434)
• feat: Whitespaces and comments are kept in relevant parts of the AST (#1801)
• fix: NuGet packages no longer depend on specific patch releases of the .NET frameworks.