Skip to content

mCRL2 202307.1

Latest
Compare
Choose a tag to compare
@mlaveaux mlaveaux released this 21 Aug 12:58
· 1181 commits to master since this release

This minor release resolves some issues with ltsgraph.