Boogie and Dafny, 22 Oct 2012

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

Recommended Download

Application Boogie.zip
application, 2776K, uploaded Oct 22, 2012 - 1437 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.