CIF to mCRL2: use 'linearize product with merge' instead of 'linearize product'
Prevent possible blow-ups in number of linearized edges.
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.
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
Prevent possible blow-ups in number of linearized edges.
Copyright © Eclipse Foundation AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent