Mar 25, 2014
- Improved hover text in Dafny IDE
- Preliminary support for reals
- Improved computations
- Improved support of :opaque
- More auto-generated decreases clauses in clusters involving both recursive and co-recursive calls
- Auto-set type arguments of built-in collection types
- Added many examples to test suite
- Some bug fixes
No reviews yet for this release.
Opera does not support ClickOnce X
To install this application, save it and then open it. Opening it directly from Opera will not work correctly.