package octez-l2-libs

  1. Overview
  2. Docs
package octez-l2-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_scoru_wasm_helpers.Wasm_utilsSource

Sourceval wat2wasm : string -> string Lwt.t
Sourceval default_max_tick : int64
Sourceval production_max_tick : int64
Sourceval default_outbox_validity_period : int32
Sourceval default_outbox_message_limit : Z.t
Sourceval new_message_counter : unit -> unit -> Z.t
Sourcemodule Kernels : sig ... end
Sourceval project_root : string
Sourceval (//) : string -> string -> string
Sourceval test_with_kernel : string -> (string -> (unit, 'a) result Lwt.t) -> unit -> (unit, 'a) result Lwt.t
Sourceval read_test_messages : string list -> string list Lwt.t

Can be passed to be used as a host function compute_step_many ~write_debug:write_debug_on_stdout ...

Sourcemodule In_memory_context : sig ... end
include sig ... end
Sourceval initial_tree : version:Tezos_scoru_wasm.Wasm_pvm_state.version -> ?tree:tree -> ?ticks_per_snapshot:int64 -> ?max_reboots:Z.t -> ?from_binary:bool -> ?outbox_validity_period:int32 -> ?outbox_message_limit:Z.t -> string -> tree Lwt.t
Sourceval input_info : int32 -> Z.t -> Tezos_scoru_wasm.Wasm_pvm_state.input_info
Sourceval eval_to_snapshot : ?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals -> ?write_debug:Tezos_scoru_wasm.Builtins.write_debug -> ?max_steps:int64 -> tree -> tree Lwt.t
Sourceval eval_until_input_requested : ?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals option -> ?write_debug:Tezos_scoru_wasm.Builtins.write_debug -> ?after_fast_exec:(unit -> unit) -> ?fast_exec:bool -> ?max_steps:int64 -> tree -> tree Lwt.t
Sourceval eval_until_input_or_reveal_requested : ?write_debug:Tezos_scoru_wasm.Builtins.write_debug -> ?after_fast_exec:(unit -> unit) -> ?fast_exec:bool -> ?max_steps:int64 -> tree -> tree Lwt.t
Sourceval set_sol_input : int32 -> tree -> tree Lwt.t
Sourceval set_protocol_migration_input : Tezos_scoru_wasm.Pvm_input_kind.protocol -> int32 -> tree -> tree Lwt.t
Sourceval set_info_per_level_input : ?migration_block:bool -> int32 -> tree -> tree Lwt.t
Sourceval set_eol_input : int32 -> Z.t -> tree -> tree Lwt.t
Sourceval set_raw_message : int32 -> Z.t -> string -> tree -> tree Lwt.t
Sourceval set_input_step : string -> int -> tree -> tree Lwt.t
Sourceval set_internal_message : int32 -> Z.t -> string -> tree -> tree Lwt.t
Sourceval set_inputs_step : ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol -> (int32 -> Z.t -> 'a -> tree -> tree Lwt.t) -> 'a Tezos_base.TzPervasives.trace -> int32 -> tree -> tree Lwt.t
Sourceval set_full_input_step : ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol -> string list -> int32 -> tree -> tree Lwt.t
Sourceval set_empty_inbox_step : ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol -> int32 -> tree -> tree Lwt.t
Sourceval set_full_input_step_gen : ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol -> (int32 -> Z.t -> 'a -> tree -> tree Lwt.t) -> 'a list -> int32 -> tree -> tree Lwt.t
Sourceval set_full_raw_input_step : ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol -> string Tezos_base.TzPervasives.trace -> int32 -> tree -> tree Lwt.t
Sourceval eval_until_init : tree -> tree Lwt.t
Sourceval eval_to_result : ?write_debug:Tezos_scoru_wasm.Builtins.write_debug -> ?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals -> tree -> (tree * int64) Lwt.t
Sourceval print_error_state : Tezos_scoru_wasm.Wasm_pvm_errors.t -> string
Sourceval check_error : ?expected_kind: [ `Decode | `Eval | `Init | `Invalid_state | `Link | `No_fallback_decode | `No_fallback_init | `No_fallback_link | `Too_many_reboots | `Too_many_ticks | `Unknown ] -> ?expected_reason:string -> Tezos_scoru_wasm.Wasm_pvm_errors.t -> bool
Sourceval is_stuck : ?step: [ `Decode | `Eval | `Init | `Invalid_state | `Link | `No_fallback_decode | `No_fallback_init | `No_fallback_link | `Too_many_reboots | `Too_many_ticks | `Unknown ] -> ?reason:string -> Tezos_scoru_wasm.Wasm_pvm_state.Internal_state.tick_state -> bool
Sourceval wrap_as_durable_storage : tree -> Tezos_webassembly_interpreter.Durable_storage.t Lwt.t
Sourceval has_stuck_flag : tree -> bool Lwt.t
Sourceval make_durable : (string * string) list -> Tezos_webassembly_interpreter.Durable_storage.t Lwt.t
Sourcemodule Ctx : sig ... end
Sourcemodule Tree_encoding_runner : sig ... end
Sourcemodule Wasm : sig ... end
Sourcemodule Wasm_fast : sig ... end