Skip to content

v0.3.6
Compare
Choose a tag to compare
@pascalpoizat pascalpoizat released this 11 May 15:22
v0.3.6
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.
0e99d26

Changelog

Version corresponding to the publication at the FM'21 conference (fbpmn sbpmn2tla)

breaking changes ⚠️

  • remove the REPL (fbpmn repl)

new features 🎉

  • more precise error messages when reading the BPMN model
  • Space BPMN
Assets 6
Loading