Dafny 3.13.1 #3670

jtristan announced in Announcements

jtristan
Mar 2, 2023
Maintainer

Bug fixes

Restore publishing language server to nuget
Fix allow_on_mac.sh for z3 paths

This discussion was created from the release Dafny 3.13.1.

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment