Skip to content

Beginining work on parse_ticket

Evan Marzion requested to merge tx-rollup-ticket into master

Begins work on #671 (closed)

Modifies some proofs in Alpha_context.v and Raw_context.v

Merge request reports