Skip to content

More simulation cases for the interpreter

Guillaume Claret requested to merge guillaume-claret@more-defs-simulation-interpreter into master

Complete the definition of the simulation of the interpreter. There will be the MR https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/564 to complete the task with the simulation of Script_interpreter_defs.transfer.

Edited by Guillaume Claret

Merge request reports