Skip to main content

🦏 Sc_rollup_storage.v

Proofs

See code, Gitlab , OCaml

The function [address_from_nonce] is valid.
The function [originate] is valid.
The function [kind_value] is valid.
The function [list_unaccounted] is valid.
The function [genesis_info] is valid.
The function [get_boot_sector] is valid.
The function [parameters_type] is valid.
The function [slot_of_int_e] is valid.
The function [fail_if_slot_index_invalid] is valid.
The function [all_indexes] is valid.
The function [subscribed_slots_at_level] is valid.
The function [subscribe] is valid.
The function [subscribed_slot_indices] is valid.