Dafny 1.8.2

Rating: No reviews yet
Downloads: 385
Change Set: ed3e20ca9798
Released: Apr 19, 2014
Updated: Apr 20, 2014 by rustanleino
Dev status: Stable Help Icon

Recommended Download

Application Dafny.zip
application, 3394K, uploaded Apr 20, 2014 - 385 downloads

Release Notes

Dafny version 1.8.2 includes some minor changes over version 1.8.1, namely:
  • Improved axioms about sequences
  • Compilation and decreases support for real numbers
  • The "modify" statement, intended for use with refinements
  • Datatype-update expressions
  • Preliminary support for slicing a sequence up into several subsequences
  • Some bug fixes

Reviews for this release

No reviews yet for this release.