@etienneandre etienneandre released this Feb 23, 2018 · 77 commits to master since this release

Assets 5

release 2.10.1 (2018-02-23)

minor release

Syntax improvement

  • The prime (') in transition updates becomes optional; the = in transition updates becomes := (backward-compatibility remains ensured until further notices) That is, an update x' = 0 becomes x := 0
  • while [invariant condition] wait{} becomes invariant [invariant condition] (backward-compatibility remains ensured until further notices)