The merc-lps tool has been introduced and can be used to explore mCRL2 linear process specifications
symbolically. 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.md of the individual crates for their own changelogs, which contain many improves and fixes to existing behaviour.
Full Changelog: v1.1...v2.0