CIF to mCRL2: improve translation of '-MAX_INT'
CIF represents -MAX_INT
as -2147483647 - 1
. In mCRL2, this can just be -2147483648
.
Designs
Link issues together to show that they're related or that one is blocking others.
Learn more.
Activity
-
Newest first Oldest first
-
Show all activity Show comments only Show history only
- Dennis Hendriks changed milestone to %v5.0
changed milestone to %v5.0
- Dennis Hendriks added CIF TypeEnhancement labels
added CIF TypeEnhancement labels
- Dennis Hendriks assigned to @ddennis
assigned to @ddennis
- Dennis Hendriks mentioned in merge request !1041 (merged)
mentioned in merge request !1041 (merged)
- Dennis Hendriks created branch
955-cif-to-mcrl2-improve-translation-of-max_int
to address this issuecreated branch
955-cif-to-mcrl2-improve-translation-of-max_int
to address this issue - Dennis Hendriks mentioned in commit 3b566c35
mentioned in commit 3b566c35
- Dennis Hendriks mentioned in commit bbe90ba6
mentioned in commit bbe90ba6
- Dennis Hendriks mentioned in commit 9cf11bde
mentioned in commit 9cf11bde
- Dennis Hendriks mentioned in merge request !1043 (merged)
mentioned in merge request !1043 (merged)
- Dennis Hendriks mentioned in commit 89eccbad
mentioned in commit 89eccbad
- Dennis Hendriks mentioned in commit 9c4a01e9
mentioned in commit 9c4a01e9
- Dennis Hendriks mentioned in commit 618b0174
mentioned in commit 618b0174
- Dennis Hendriks mentioned in commit 20ff98ea
mentioned in commit 20ff98ea
- Dennis Hendriks mentioned in commit 896a8bc0
mentioned in commit 896a8bc0
- Dennis Hendriks mentioned in commit 784cd481
mentioned in commit 784cd481
- Dennis Hendriks closed with merge request !1043 (merged)
closed with merge request !1043 (merged)
Please register or sign in to reply