Skip to content

v0.2.4
Compare
Choose a tag to compare
@pascalpoizat pascalpoizat released this 01 Apr 15:49
v0.2.4
This tag was signed with the committer’s verified signature. The key has expired.
pascalpoizat Pascal Poizat
GPG key ID: 91A33B330ED700AD
Expired
Verified
Learn about vigilant mode.
6f851a9
This commit was signed with the committer’s verified signature. The key has expired.
pascalpoizat Pascal Poizat
GPG key ID: 91A33B330ED700AD
Expired
Verified
Learn about vigilant mode.

Changelog

new features 🎉

  • TLA+ theories for the BPMN execution semantics
    • add parameter to enable re-entrance or not for activities
  • verification script (for Linux and OSX)
    • enhanced ouput
Assets 6
Loading