Ben L. Titzer
Ben L. Titzer
Since adding floating point back in 2020, the Virgil utility libraries have not yet added support for printing/rendering floating point numbers (in decimal). In C, the `printf` format string supports...
Virgil compiles to WASM and has three different runtime implementations: (1) `rt/wave`, the (W)eb(A)ssembly (V)irgil (E)nvironment), a minimal set of imports just to get Virgil running, which was only implemented...
I recently ported Virgil to `x86-64-darwin`, i.e. 64-bit MacOS on Intel. I expected that the binaries generated would work automatically under Rosetta 2, but they apparently do not. I could...
With https://github.com/titzer/virgil/commit/2b34472dc1c1c3f8236e315f14db7f7df36f3c16, I've added switches for turning on optimizations later in the pipeline, after specialization and normalization. This is a tracking issue. There are a couple bugs and inlining should...
Recently I have been developing on an M1 mac, which is a platform not supported by Virgil. This is a problem because it is not possible to run either x86-linux...
This could be a post-MVP feature, just posting for discussion. Currently, function types have declared subtyping like structs and arrays, and are limited to a single supertype. There isn't any...
In the course of discussion https://github.com/WebAssembly/gc/issues/100, @gasche proposed making `i31ref` not a type, but a dimension in the `ref` type constructor. I'd like to pull this idea out for a...
We've learned the lesson from both positive and negative examples that future proposals often need to add things to existing constructs. Where we've had the foresight to do so, a...
If a WebAssembly.Global represents what is, in effect, a thread-local variable, then it needs a better name. This is of course due to there being just one "thread" associated with...
There have recently been a number of issues cropping up around versioning Wasm modules and I think we need to discuss them in a holistic fashion. In particular, it seems...