mCRL2 transformation website: Supported specifications list is incomplete
The list of restrictions is incomplete. At leas the following restrictions should be added:
- Input variables are not supported.
- User-defined functions are not supported.
Eclipse GitLab will be undergoing disruptive maintenance on June 15 at 9h00 CEST. Please see (and follow) this announcement: https://www.eclipsestatus.io/maintenance/911919
The list of restrictions is incomplete. At leas the following restrictions should be added:
Copyright © Eclipse Foundation AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent