The WasmRef_Isa.ocaml file contains the extracted OCaml code of the WasmCert-Isabelle verified interpreter. This interpreter relies on parsing and numeric operations being implemented externally. Here is a commit of a fork of the WebAssembly Reference Interpreter with the extracted code of the verified interpreter embedded in it so that this verified interpreter can be optionally used via -isa CLI flag, with parsing and numerics being delegated to the WebAssembly Reference Interpreter.
Repository navigation
code
Directory actions
More options
Directory actions
More options
code
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||