Skip to content

RISC-V PVM: expose storage backend in OCaml API

Victor Dumitrescu requested to merge vdum@riscv_pvm_storage_ocaml into master

What

The storage backend introduced in !13239 (merged) is exposed in the OCaml PVM library, replacing the dummy implementations in src/lib_riscv/pvm/storage.ml. A dummy PVM state is also introduced.

Why

We need to put in place the OCaml integration that will allow us to develop the PVM entirely in Rust.

How

This change hinges on the correctness of the ocaml-rs-based bindings in src/riscv/lib/src/ocaml_api.rs. The types for Repo, Tree, and Id are exposed abstractly in OCaml.

Manually testing the MR

dune build src/rust_deps
dune build @src/lib_riscv/runtest
Edited by Victor Dumitrescu

Merge request reports