v2.0 #112
mlaveaux
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
The
merc-lpstool has been introduced and can be used to explore mCRL2 linear process specificationssymbolically. This is currently not very efficient, but will be improved in
future releases. The symbolic bisimulation reduction is currently not working properly and should
not be used.
See the
README.mdof the individual crates for their own changelogs, which contain many improves and fixes to existing behaviour.Full Changelog: v1.1...v2.0
This discussion was created from the release v2.0.
Beta Was this translation helpful? Give feedback.
All reactions