Dafny 1.6

Rating: No reviews yet
Downloads: 105
Change Set: 4b2f1512839d
Released: Jan 23, 2013
Updated: Jan 24, 2013 by rustanleino
Dev status: Stable Help Icon

Recommended Download

Application Dafny.zip
application, 2854K, uploaded Jan 24, 2013 - 105 downloads

Release Notes

The major new feature in version 1.6 is support for co-induction.

To install Dafny, download Dafny.zip and save it to your disk. Then, before you open or unzip it, right-click on it and select Properties; at the bottom of the dialog, click the Unblock button and then the OK button. Now, open Dafny.zip and copy its contents into a directory on your machine. (You can now delete the Dafny.zip file.)

You will also need to install Z3 (version 4.1 is recommended).

  • To run Dafny from the command line, simply run Dafny.exe (or the Verification Debugger, BVD.exe) from that directory.
  • To install Dafny for use inside Visual Studio 2010 or 2012, double-click on DafnyLanguageService.vsix to run the installer. Then, whenever you open a file with the extension .dfy in Visual Studio, the Dafny mode will kick in. (If you don't intend to run Dafny from the command line, you can delete the directory into which you copied the contents of Dafny.zip.)

For questions, comments, and discussion, please use the Dafny Discussions tab.

Reviews for this release

No reviews yet for this release.