Skip to content

question

Andrey Klaus requested to merge ak-parse-instr into master

Question is in file Simulations/Script_ir_translator.v line 1277. Direct link is below (but it might be better to download a branch and open it locally).

https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/blob/0fd7f6800b74c91fcb018b92682285dd86c9aa99/src/Proto_alpha/Simulations/Script_ir_translator.v#L1277

Edited by Andrey Klaus

Merge request reports