Skip to content

Michelson: add proof for the simulation 'dep_big_map_get_and_update'

Rex Yuan requested to merge rex@big_map_get_and_update into master

Merge request reports