Removed magics: mAddI64, mSubI64, mMulI64, mDivI64, mModI64
Author: rku <rokups@zoho.com>
This commit is contained in:
parent
25a1987517
commit
372a5d3cbb
7 changed files with 29 additions and 44 deletions
|
|
@ -30,11 +30,11 @@ const
|
|||
someHigh = {mHigh}
|
||||
# we don't list unsigned here because wrap around semantics suck for
|
||||
# proving anything:
|
||||
someAdd = {mAddI, mAddI64, mAddF64, mSucc}
|
||||
someSub = {mSubI, mSubI64, mSubF64, mPred}
|
||||
someMul = {mMulI, mMulI64, mMulF64}
|
||||
someDiv = {mDivI, mDivI64, mDivF64}
|
||||
someMod = {mModI, mModI64}
|
||||
someAdd = {mAddI, mAddF64, mSucc}
|
||||
someSub = {mSubI, mSubF64, mPred}
|
||||
someMul = {mMulI, mMulF64}
|
||||
someDiv = {mDivI, mDivF64}
|
||||
someMod = {mModI}
|
||||
someMax = {mMaxI, mMaxF64}
|
||||
someMin = {mMinI, mMinF64}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue