Name Date Size #Lines LOC

..15-May-2026-

.gitignoreH A D15-May-202612 32

MakefileH A D15-May-20261.4 KiB3920

README.mdH A D15-May-2026612 119

interpret.mlH A D15-May-20266.7 KiB141123

README.md

1This directory contains the necessary parts for building a library with FFI
2access to the Wasm spec interpreter. Its major parts:
3 - `spec`: the Wasm spec code as a Git submodule (you may need to retrieve it:
4   `git clone -b wasmtime_fuzzing https://github.com/conrad-watt/spec`).
5 - `interpret.ml`: a shim layer for calling the Wasm spec code and exposing it
6   for FFI access
7 - `Makefile`: the steps for gluing these pieces together into a static library
8
9Note: the `Makefile` must be configured with the path to `libgmp.a`; see
10`LIBGMP_PATHS` in the `Makefile` (Ubuntu: `libgmp-dev`, Fedora: `gmp-static`).
11