Skip to content

More michelson cleaning

Guillaume Claret requested to merge guillaume-claret@more-michelson-cleaning into master

Continuation of the changes to prepare proofs on the Michelson interpreter.

Edited by Guillaume Claret

Merge request reports