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.
The list of restrictions is incomplete. At leas the following restrictions should be added:
changed milestone to %v0.2
mentioned in merge request !36 (merged)
closed with merge request !36 (merged)
mentioned in commit 7825c68b
assigned to @freijnen
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent