search

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 (WIP) #132

Closed pkel closed 4 years ago

pkel commented 4 years ago

This PR adds a Webassembly backend to the QCert compiler framework. The PR is WIP.

We have a discussion thread in the Accord project's slack: https://accord-project.slack.com/archives/C013AS35ZU3

jeromesimeon commented 4 years ago

@pkel Do you know if the OCaml wasm package require a special purpose opam repository?

File "compiler/dune", line 12, characters 32-36:
12 |  (libraries base64 uri calendar wasm)
jeromesimeon commented 4 years ago

I think just need to add wasm to the CircleCI script here: https://github.com/querycert/qcert/blob/a3891edc8c9297ec2b126927ef68018fe2142434/.circleci/config.yml#L41

pkel commented 4 years ago

@pkel Do you know if the OCaml wasm package require a special purpose opam repository?

File "compiler/dune", line 12, characters 32-36:
12 |  (libraries base64 uri calendar wasm)

No, but you need a recent OCaml (>=4.08.0)

https://opam.ocaml.org/packages/wasm/