Boogie and Dafny, 22 Oct 2012

Rating:        Based on 1 rating
Reviewed:  0 reviews
Downloads: 2333
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 - 2333 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