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