Dafny 1.7.0

Rating: No reviews yet
Downloads: 454
Change Set: f59a04f9699a
Released: Aug 6, 2013
Updated: Aug 6, 2013 by wuestholz
Dev status: Stable Help Icon

Recommended Download

Application Dafny.zip
application, 2894K, uploaded Aug 6, 2013 - 454 downloads

Release Notes

This version includes several bug fixes and other improvements (e.g., (co-)lemma keyword, field names can be sequences of digits, allow calls to ghost methods from expressions). It also adds several new features to the Visual Studio extension for Dafny (e.g., on-demand re-verification, parallelization, BVD integration, visualization for counterexamples).

Reviews for this release

No reviews yet for this release.