Deian Stefan
Deian Stefan
Right now, we do thread walking through the function to build paths. This is kind of insane. We should instead have a simple Kildall pass, which will make things a...
On longer block bounds, there are a number of reports related to unentered loops (that can never feasibly be unenetered). Probably makes sense to just optionally ignore things that come...
It also makes sense to do a wllvm compilation of some pieces of the browser and enter all function calls (especially for the uninit memory checker). This will probably lead...
Tried adding duckduck go, but failed. (The alert box just prints out '[object Object]'.) Looking at the console: seems like the action is disallowed due to the CSP directive `script-src...
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.
I added support for content:encoded that is pretty widely used to integrate HTML content in RSS feeds. I'm currently using it in LearnByHacking. See for example https://www.learnbyhacking.org/posts and the corresponding...