Giters
kframework
/
javascript-semantics
KJS: A Complete Formal Semantics of JavaScript
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
84
Watchers:
14
Issues:
4
Forks:
21
kframework/javascript-semantics Issues
xtc.jar download was moved
Updated
2 years ago
Math.abs(-0) should be 0
Updated
5 years ago
Connection to office.runtimeverification refused
Closed
6 years ago
Comments count
3
It would be great if the AST format would follow the de facto JS standard
Updated
9 years ago
Comments count
4