package octez-l2-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val parse_module : string -> Tezos_webassembly_interpreter.Ast.module_

val wat2wasm : string -> string Lwt.t

val default_max_tick : int64

val production_max_tick : int64

val default_outbox_validity_period : int32

val default_outbox_message_limit : Z.t

val new_message_counter : unit -> unit -> Z.t

module Kernels : sig ... end

val project_root : string

val (//) : string -> string -> string

val test_with_kernel : 
  string ->
  (string -> (unit, 'a) result Lwt.t) ->
  unit ->
  (unit, 'b) result Lwt.t

val read_test_messages : string list -> string list Lwt.t

val write_debug_on_stdout : Tezos_scoru_wasm.Builtins.write_debug

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

module Make
  (Ctx : Tezos_tree_encoding.Encodings_util.S) : 
  Wasm_utils_intf.S with type t = Ctx.t and type tree = Ctx.Tree.tree

module In_memory_context : sig ... end

include sig ... end

type t = In_memory_context.t

type tree = In_memory_context.Tree.tree

val 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

val input_info : int32 -> Z.t -> Tezos_scoru_wasm.Wasm_pvm_state.input_info

val reveal_builtins : Tezos_scoru_wasm.Builtins.reveals

val eval_until_stuck : 
  ?wasm_entrypoint:string ->
  ?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals ->
  ?write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
  ?max_steps:int64 ->
  tree ->
  (Tezos_scoru_wasm.Wasm_pvm_errors.t * tree) Tezos_base.TzPervasives.tzresult
    Lwt.t

val eval_to_snapshot : 
  ?wasm_entrypoint:string ->
  ?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals ->
  ?write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
  ?max_steps:int64 ->
  tree ->
  tree Lwt.t

val eval_until_input_requested : 
  ?wasm_entrypoint:string ->
  ?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

val eval_until_input_or_reveal_requested : 
  ?wasm_entrypoint:string ->
  ?write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
  ?after_fast_exec:(unit -> unit) ->
  ?fast_exec:bool ->
  ?max_steps:int64 ->
  tree ->
  tree Lwt.t

val set_sol_input : int32 -> tree -> tree Lwt.t

val set_protocol_migration_input : 
  Tezos_scoru_wasm.Pvm_input_kind.protocol ->
  int32 ->
  tree ->
  tree Lwt.t

val set_info_per_level_input : 
  ?migration_block:bool ->
  int32 ->
  tree ->
  tree Lwt.t

val set_eol_input : int32 -> Z.t -> tree -> tree Lwt.t

val set_raw_message : int32 -> Z.t -> string -> tree -> tree Lwt.t

val set_input_step : string -> int -> tree -> tree Lwt.t

val set_internal_message : int32 -> Z.t -> string -> tree -> tree Lwt.t

val 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

val set_full_input_step : 
  ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol ->
  string list ->
  int32 ->
  tree ->
  tree Lwt.t

val set_empty_inbox_step : 
  ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol ->
  int32 ->
  tree ->
  tree Lwt.t

val 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

val set_full_raw_input_step : 
  ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol ->
  string Tezos_base.TzPervasives.trace ->
  int32 ->
  tree ->
  tree Lwt.t

val eval_until_init : ?wasm_entrypoint:string -> tree -> tree Lwt.t

val eval_to_result : 
  ?wasm_entrypoint:string ->
  ?write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
  ?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals ->
  tree ->
  (tree * int64) Lwt.t

val pp_state : 
  Format.formatter ->
  Tezos_scoru_wasm.Wasm_pvm_state.Internal_state.tick_state ->
  unit

val print_error_state : Tezos_scoru_wasm.Wasm_pvm_errors.t -> string

val 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

val 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

val wrap_as_durable_storage : 
  tree ->
  Tezos_webassembly_interpreter.Durable_storage.t Lwt.t

val has_stuck_flag : tree -> bool Lwt.t

val make_durable : 
  (string * string) list ->
  Tezos_webassembly_interpreter.Durable_storage.t Lwt.t

val make_module_inst : 
  version:Tezos_scoru_wasm.Wasm_pvm_state.version ->
  string list ->
  int32 ->
  Tezos_webassembly_interpreter.Instance.module_inst
    Tezos_webassembly_interpreter.Instance.ModuleMap.t
  * Tezos_webassembly_interpreter.Instance.module_key
  * Tezos_webassembly_interpreter.Host_funcs.registry

val retrieve_memory : 
  Tezos_webassembly_interpreter.Instance.module_inst
    Tezos_webassembly_interpreter.Instance.ModuleMap.t ->
  Tezos_webassembly_interpreter.Partial_memory.memory Lwt.t

module Ctx : sig ... end

module Tree_encoding_runner : sig ... end

module Wasm : sig ... end

module Wasm_fast : sig ... end