search

dafny-lang / ide-vscode

VSCode IDE Integration for Dafny
https://marketplace.visualstudio.com/items?itemName=dafny-lang.ide-vscode
MIT License
23 stars 18 forks source link

Dafny 4 #406

Closed henry-hz closed 1 year ago

henry-hz commented 1 year ago

Is the last release compatible with Dafny 4 ?

keyboardDrummer commented 1 year ago

Yes it is, let me update the README to reflect that.