the 8/2(2+2) crowd is almost as annoying as the people who claim that 9.99999... and 10 are different numbers and equally annoying as the people who can't grasp that dividing by zero is as invalid in algebra as it is in arithmetic send tweet
-
See also https://cs.nyu.edu/pipermail/smt-lib/2015/000966.html … and I think I should try to find some older Emails...
The comment says that x % 0 is also defined now, but staring at http://smtlib.cs.uiowa.edu/logics-all.shtml#QF_BV … I can't find its definition. Also: What about INT_MIN / -1? I quite like the RISC-V definitions: x / 0 = ~0 x % 0 = x INT_MIN / -1 = INT_MIN INT_MIN % -1 = 0
-
-
If I recall directly this is all defined indirectly through unsigned division, i.e., take the standard way of modelling signed division or modulo with unsigned operators. It would be interesting to check whether you get your definitions.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.