Skip to content

Michelson: prove more instructions in the interpreter

Guillaume Claret requested to merge guillaume-claret@more-proof-on-interpreter into master

Merge request reports