search

boogie-org / boogie-friends

Tools for interacting with Boogie
45 stars 13 forks source link

dafny/lsp: Add more known versions (up to 4.0.0) #40

Open travitch opened 1 year ago

travitch commented 1 year ago

This commit adds some more known versions to the automatic LSP setup. There was a packaging change as of version 3.13.0, so there is some conditional logic to account for the difference.

All of the new versions were tested on Linux; the MacOS and Windows entries were eyeballed based on the Github releases page.

tchajed commented 1 year ago

@cpitclaudel could you review this when you get a chance?