Skip to content

mCRL2 201908.0
Compare
Choose a tag to compare
@tneele tneele released this 03 Sep 10:59
mcrl2-201908.0
1e6fb43

In this release, the ATerm library, which is the main internal data storage engine of mCRL2, has been re-implemented completely. Furthermore, the mCRL2ide has been improved, and now supports checking behavioural equivalence relations between two specifications. See the file CHANGES for a complete overview. The release is also provided on our website. The Ubuntu release is available in a PPA.

Assets 6
Loading