Dafny 3.8.1

[keyboardDrummer]

• feat: Support for the {:opaque} attibute on const (feat: Support for the {:opaque} attibute on const #2545)
• feat: Support for plugin-based code actions on the IDE (Feat: Code action support #2021)
• fix: Fixed a crash when parsing newtype in the parser (fix: Crash in the parser. #2649)
• fix: Added missing error reporting position on string prefix check (fix: Missing token in translation of proper prefix #2652)
• fix: Prevent LSP server from exiting when a crash occurs (Do not kill LSP server process when exception occurs in doc change handler, and prevent out of range exception #2664)
• fix: Fix bug where LSP server would not show diagnostics that referred to included files (Do not kill LSP server process when exception occurs in doc change handler, and prevent out of range exception #2664)
• fix: Check all compiled expressions to be compilable (fix: Verify that all compilable expressions are compilable #2641)
• fix: Better messages on hovering failing postconditions in IDE (fix: "Failing precondition" on tooltip instead of "return path" #2654)
• fix: Better error reporting on counter-examples if an option is not provided (Fixed error reporting counter example + avoid null pointer exceptions #2650)

---

This discussion was created from the release Dafny 3.8.1.