Skip to content

Michelson : Add proof for I_PACK and I_UNPACK

Daniel Hilst requested to merge verify-ipack-and-iunpack into master

Fix #262 (closed)

Edited by Daniel Hilst

Merge request reports