WebAssembly Backend - Githubissues

querycert / qcert

Compilation and Verification of Data-Centric Languages

https://querycert.github.io/

Apache License 2.0

56 stars 9 forks source link

WebAssembly Backend #142

Closed jeromesimeon closed 4 years ago

jeromesimeon commented 4 years ago

WASM backend

Compiles with Coq 8.11 / 8.12
Switches to separate extraction
WASM PoC, but functional
Need to better integrate testing / runtime
Left as draft PR for now

jeromesimeon commented 4 years ago

Replaced by #147