Dafny 3.8.0

[prvshah51]

• fix: Use the right bitvector comparison in decrease checks
  (fix: Use the right bitvector comparison in ComputeLessEq #2512)
• fix: Don't use native division and modulo operators for non-native int-based newtypes in Java and C#.
  (fix: Don't use "/" and "%" for non-native int-based newtypes #2416)
• feat: Dafny now supports disjunctive (“or”) patterns in match statements and expressions. Cases are separated by | characters. Disjunctive patterns may not appear within other patterns and may not bind variables.
  (feat: Add support for disjunctive (“or”) patterns #2448)
• feat: The Dafny Language Server used by the VSCode IDE extension is now available as a NuGet package called DafnyLanguageServer (Build DafnyLanguageServer as a NuGet package #2600)
• fix: Counterexamples - fix an integer parsing bug and correctly extract datatype and field names (Counterexamples - fix integer parsing bug and improve code quality #2461)
• feat: New option -diagnosticsFormat:json to print Dafny error messages as JSON objects (one per line).
  (feat: Add -diagnosticsFormat command-line flag #2363)
• fix: No more exceptions when hovering over variables without type, and types of local variabled kept under match statements (Fix: null pointer exception in the case of hovering local variables #2437)
• fix: Check extreme predicates and constants in all types, not just classes
  (fix: Check extreme predicates and constants in all types, not just classes #2515)
• fix: Correctly substitute type variables in override checks
  (fix: Correctly substitute type variables in override checks #2522)
• feat: predicate P(x: int): (y: bool) ... is now valid syntax (Feat: Predicates can name their return parameter #2454)
• fix: Improve the performance of proofs involving bit vector shifts (fix: Improve the performance of proofs involving bit vector shifts #2520)
• fix: Perform well-definedness checks for ensures clauses of forall statements (fix: Check well-definedness of forall-ensures #2606)

---

This discussion was created from the release Dafny 3.8.0.