Hi all, Great stuff. I think there is a bug in Math.abs: https://github.com/kframework/javascript-semantics/blob/d5aca308d12d3838c645e1f787e2abc9257ce43e/stdlib/08.math.js#L5-L11 According to the spec, abs of -0 should be 0 not 0.
Hi all, Great stuff. I think there is a bug in Math.abs:
javascript-semantics/stdlib/08.math.js
Lines 5 to 11 in d5aca30
According to the spec, abs of -0 should be 0 not 0.