- 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
↧
Created Release: Dafny 1.8.1 (Mar 24, 2014)
↧