CIF to mCRL2: improve translation of '-MAX_INT'
CIF represents -MAX_INT as -2147483647 - 1. In mCRL2, this can just be -2147483648.
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.
CIF represents -MAX_INT as -2147483647 - 1. In mCRL2, this can just be -2147483648.
Copyright © Eclipse Foundation AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent