Skip to content

v0.3.1
Compare
Choose a tag to compare
@pascalpoizat pascalpoizat released this 12 Feb 12:03
· 415 commits to master since this release
v0.3.1
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.
858ddbe
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 🎉

  • subset of BPMN
    • support time-related features (start events, intermediary catch events, boundary events) using a non-deterministic abstraction of time
  • TLA+ theories for the BPMN execution semantics
    • communication interests associated to processes (support for more communication models)
    • new communication model: causal

bugfix 🐛

  • verification script (for Linux and OSX)
    • correct directory handling
    • clean up
Assets 2
Loading