Skip to content

Michelson: add proof for the simulation 'dep_big_map_update_by_hash'

Guillaume Claret requested to merge guillaume-claret@add-simulation-big_map_update_hash into master

Merge request reports