Boogie and Dafny, 22 Oct 2012

Rating: No reviews yet
Downloads: 2158
Change Set: 98a6a18a4546
Released: Oct 22, 2012
Updated: Oct 22, 2012 by rustanleino
Dev status: Stable Help Icon

Recommended Download

application, 2776K, uploaded Oct 22, 2012 - 2158 downloads

Release Notes

In this version, Boogie supports real numbers.
Dafny has support for modules, refinement, iterators, coinduction, calculations, and more.
Plus, the new Dafny mode for Visual Studio now has a simple installer (just run DafnyLanguageService.vsix).
For this version of Boogie and Dafny, version 4.1 of Z3 is recommended.

Reviews for this release

No reviews yet for this release.