Skip to content

Dafny 3.13.1
Compare
Choose a tag to compare
@github-actions github-actions released this 02 Mar 20:55
· 1258 commits to master since this release
v3.13.1
be63def

Bug fixes

  • Restore publishing language server to nuget
  • Fix allow_on_mac.sh for z3 paths
Assets 7
Loading
0 Join discussion