Just a few days after v3.2.0, we announce v3.2.1, which mostly contains a fix for a small regression in DBM handling possibly leading to incorrect results. We have also added a better display of variable guards and actions in the GUI.
As usual this version can be downloaded on the Downloads page.
We are happy to announce a new release of Roméo.
Version 3.2.0 brings a few bugfixes all around the code and a mainly a new experimental feature allowing C-like code annotations on transitions.
It can be obtained on the Downloads page.
We currently have only Linux and Mac OS X binaries but the source code is available.