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.
As a result of abusive and unreasonable anonymous traffic patterns, we're now requiring authentication to access some GitLab pages and content. We will investigate further to determine if these changes are permanent or temporary.
We apologize for the inconvenience caused.
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