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
-
Actually I am really happy that (finally) 1/0 = 7 (for unsigned bit vector divison of bit vectors with 3 bits in the SMTLIB standard). Took quite some time.
Oh, I didn't know that. Since when? I always liked that about the BTOR bit vector division semantic. Good to know it's now also in SMTLIB.
-
-
2017-05-03 according to http://smtlib.cs.uiowa.edu/logics-all.shtml#QF_BV …
-
See also https://cs.nyu.edu/pipermail/smt-lib/2015/000966.html … and I think I should try to find some older Emails...
- Show replies
New conversation -
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.