Dafny 1.9.5

Rating: No reviews yet
Downloads: 849
Change Set: 0ffd6b997ffe
Released: May 11, 2015
Updated: May 17, 2015 by rustanleino
Dev status: Stable Help Icon

Recommended Download

Application Dafny.zip
application, 9360K, uploaded May 11, 2015 - 849 downloads

Release Notes

The main change from version 1.9.4 to version 1.9.5 is:
  • The introduction of `inductive predicate` and `inductive lemma` declarations. These are the duals of `copredicate` and `colemma` declarations.

Program safely!

Reviews for this release

No reviews yet for this release.