Release v2.1.1

github-actions released this 23 Dec 09:02

Changed the marketplace publisher to dafny-lang
Now marking ghost statements by default (requires Dafny 3.4.0+)
Fixed issue when compiling untitled documents
Changed 'Compilation Succeeded' status message to 'Resolved (not verified)'

Assets 3