Skip to content

IMITATOR 2.10.1
Compare
Choose a tag to compare
@etienneandre etienneandre released this 23 Feb 08:57
· 3401 commits to master since this release
v2.10.1
5eea424

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)
Assets 5