Dafny 3.7.3

[atomb]

• 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. (feat: Better LSP related location error messages #2434)
• feat: Whitespaces and comments are kept in relevant parts of the AST (feat: Trivia stored in the AST #1801)
• fix: NuGet packages no longer depend on specific patch releases of the .NET frameworks.

---

This discussion was created from the release Dafny 3.7.3.