javascript-semantics

javascript-semantics copied to clipboard

Trying to run the make file, it fails at `wget http://cs.nyu.edu/rgrimm/xtc/xtc.jar`. Checking the site, the url was changed at some point to be `http://cs.nyu.edu/xtc/xtc.jar` instead.

YarnSaw

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.

deian

It would be great if the AST format would follow the de facto JS standard

4

The standard is informally maintained here: https://github.com/estree/estree

cos