Skip to content

mCRL2 202006.0
Compare
Choose a tag to compare
@tneele tneele released this 20 Jul 20:04
mcrl2-202006.0
a58d912

In this release, the binary format for storing LPS, LTS, PBES and BES files has been overhauled. This means that such files created with older versions of the toolset have to be regenerated. Furthermore, the lps2lts tool has been reimplemented from scratch. Finally, compiling the toolset now requires a compiler that supports C++17. 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