Dafny 1.8.1

Rating: No reviews yet
Downloads: 105
Change Set: 9405a248dfe3
Released: Mar 24, 2014
Updated: Mar 25, 2014 by rustanleino
Dev status: Stable Help Icon

Recommended Download

Application Dafny.zip
application, 3359K, uploaded Mar 25, 2014 - 105 downloads

Release Notes

  • Improved hover text in Dafny IDE
  • Preliminary support for reals
  • Improved computations
  • Improved support of :opaque
  • More auto-generated decreases clauses in clusters involving both recursive and co-recursive calls
  • Auto-set type arguments of built-in collection types
  • Added many examples to test suite
  • Some bug fixes

Reviews for this release

No reviews yet for this release.