Dafny 1.6.3

Rating: No reviews yet
Downloads: 149
Change Set: 1fdd8ee4bec0
Released: Mar 20, 2013
Updated: Mar 22, 2013 by rustanleino
Dev status: Stable Help Icon

Recommended Download

Application Dafny.zip
application, 2864K, uploaded Mar 22, 2013 - 149 downloads

Release Notes

This version includes support for co-induction (version 1.6) and improvements to the "calc" statement for proof calculations (1.6.1, plus operator <== in version 1.6.2 and operator ==#[..] in version 1.6.3).

Reviews for this release

No reviews yet for this release.