Skip to content

Verify Rollups related files

pierrevial requested to merge verify-rollups-1 into master

Verify Rollup related files, in particular [Sc_rollup_inbox_message_repr.v] (wip) and [Sc_rollup_inbox_message_repr.v] (wip).

Edited by pierrevial

Merge request reports