package octez-l2-libs

You can search for identifiers within the package.

in-package search v0.2.0

Octez-l2-libs: octez layer2 libraries
- README
- Library octez-l2-libs.layer2_store
  - Tezos_layer2_store
    
    Delayed_write_monad
    
    Lwt_result_syntax
    
    Indexed_store
    
    SINGLETON_STORE
    
    INDEXABLE_STORE
    
    INDEXABLE_REMOVABLE_STORE
    
    INDEXED_FILE
    
    SIMPLE_INDEXED_FILE
    
    NAME
    
    ENCODABLE_VALUE
    
    FIXED_ENCODABLE_VALUE
    
    ENCODABLE_VALUE_HEADER
    
    Header
    
    Make_singleton
    
    Make_indexable
    
    Make_indexable_removable
    
    Make_indexed_file
    
    Make_simple_indexed_file
    
    Make_fixed_encodable
    
    Make_index_value
    
    Make_index_key
    
    Irmin_store
    
    Make
    
    Raw_irmin
    
    Schema
    
    Hash
    
    Branch
    
    Info
    
    Metadata
    
    Path
    
    Contents
    
    Info
    
    Repo
    
    Status
    
    Head
    
    Hash
    
    Commit
    
    Contents
    
    Tree
    
    Contents
    
    Proof
    
    Private
    
    Env
    
    History
    
    V
    
    E
    
    Branch
    
    Path
    
    Metadata
    
    Backend
    
    Schema
    
    Hash
    
    Contents
    
    Key
    
    Val
    
    Hash
    
    Node
    
    Key
    
    Path
    
    Metadata
    
    Val
    
    Metadata
    
    Hash
    
    Contents
    
    Key
    
    Val
    
    Hash
    
    Node_portable
    
    Commit
    
    Key
    
    Info
    
    Val
    
    Hash
    
    Node
    
    Key
    
    Path
    
    Metadata
    
    Val
    
    Metadata
    
    Hash
    
    Contents
    
    Key
    
    Val
    
    Hash
    
    Commit_portable
    
    Branch
    
    Key
    
    Val
    
    Slice
    
    Repo
    
    Remote
    
    Store_errors
    
    Store_sigs
    
    BACKEND
    
    Mutable_value
    
    STORAGE_INFO
    
    KEY
    
    VALUE
    
    Map
    
    Append_only_map
    
    Nested_map
    
    COMPARABLE_KEY
    
    Store
    
    Make_updatable_map
    
    Make_append_only_map
    
    Make_mutable_value
    
    Make_nested_map
    
    Store_utils
    
    Make
    
    Make_updatable_map
    
    Make_append_only_map
    
    Make_mutable_value
    
    Make_nested_map
- Library octez-l2-libs.scoru-wasm
  - Tezos_scoru_wasm
    
    Binary_parser_encodings
    
    V
    
    M
    
    C
    
    Lazy_vec
    
    Lazy_stack
    
    Byte_vector
    
    Name
    
    Func_type
    
    Import
    
    Export
    
    Size
    
    Instr_block
    
    Block
    
    Code
    
    Elem
    
    Data
    
    Field
    
    Module
    
    Building_state
    
    Decode
    
    Builtins
    
    Constants
    
    Data_encoding_utils
    
    Little_endian
    
    Durable
    
    Internal_for_tests
    
    Host_funcs
    
    Error
    
    Memory_access
    
    Memory_access_interpreter
    
    Aux
    
    S
    
    Make
    
    Tick_model
    
    Internal_for_tests
    
    Init_encodings
    
    Interpreter_encodings
    
    Source
    
    Types
    
    Values
    
    V128
    
    Ast
    
    IntOp
    
    V128Op
    
    Kont_encodings
    
    Pvm_input_kind
    
    Internal_for_tests
    
    Wasm_encoding
    
    Internal_for_tests
    
    Wasm_pvm
    
    Make
    
    Internal_for_tests
    
    Make_pvm
    
    Internal_for_tests
    
    Wasm_pvm_errors
    
    Wasm_pvm_sig
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
    
    Wasm_pvm_state
    
    Compatibility
    
    Internal_state
    
    Wasm_vm
    
    Internal_for_tests
    
    Wasm_vm_sig
    
    Internal_for_tests
    
    Generic
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
- Library octez-l2-libs.scoru-wasm-fast
  - Tezos_scoru_wasm_fast
    
    Cache
    
    CACHE_INFO
    
    Key
    
    Make
    
    Exec
    
    Funcs
    
    Memory_access
    
    Memory
    
    I32
    
    Wasmer
    
    Module_cache
    
    Wasmer
    
    Pvm
    
    Make
    
    Internal_for_tests
    
    Vm
    
    Internal_for_tests
- Library octez-l2-libs.scoru-wasm-helpers
  - Tezos_scoru_wasm_helpers
    
    Ast_printer
    
    Types
    
    Ast
    
    TzStdLib
    
    Vector
    
    IntOp
    
    FloatOp
    
    I32Op
    
    I64Op
    
    F32Op
    
    F64Op
    
    V128Op
    
    Func
    
    Instance
    
    ModuleMap
    
    Vector
    
    NameMap
    
    Values
    
    NumType
    
    I32Num
    
    I64Num
    
    F32Num
    
    F64Num
    
    VecType
    
    V128Vec
    
    Encodings_util
    
    Tree
    
    Tree_encoding_runner
    
    Wasm_utils
    
    Kernels
    
    Make
    
    Ctx
    
    Tree
    
    Tree_encoding_runner
    
    Tree_encoding_runner
    
    Wasm
    
    Internal_for_tests
    
    Wasm_fast
    
    Internal_for_tests
    
    In_memory_context
    
    Tree
    
    Tree_encoding_runner
    
    Ctx
    
    Tree
    
    Tree_encoding_runner
    
    Tree_encoding_runner
    
    Wasm
    
    Internal_for_tests
    
    Wasm_fast
    
    Internal_for_tests
    
    Wasm_utils_intf
    
    S
    
    Ctx
    
    Tree
    
    Tree_encoding_runner
    
    Tree_encoding_runner
    
    Wasm
    
    Internal_for_tests
    
    Wasm_fast
    
    Internal_for_tests
- Library octez-l2-libs.scoru_wasm_durable_snapshot
  - Tezos_scoru_wasm_durable_snapshot
    
    Durable
    
    Internal_for_tests
- Library octez-l2-libs.scoru_wasm_test_helpers
  - Tezos_scoru_wasm_test_helpers
    
    Ast_generators
    
    Vector
    
    Durable_operation
    
    Map
    
    Set
    
    Durable_operation_generator
    
    Key_generator_params
    
    Operation_probabilities
    
    Durable_program_generator
    
    Durable_program_runner
    
    Make_durable_program_runner
    
    Verifiable_program_runner
    
    Durable_snapshot_util
    
    Context_binary_tree
    
    Testable_durable_sig
    
    Internal_for_tests
    
    CBV
    
    Snapshot
    
    Internal_for_tests
    
    Current
    
    Internal_for_tests
    
    Make_verifiable_current_durable
    
    Internal_for_tests
    
    Traceable_durable
    
    S
    
    Internal_for_tests
    
    Default_traceable_config
    
    Traceable_config
    
    Make
    
    Internal_for_tests
    
    Verifiable_current_durable
    
    Internal_for_tests
    
    Probability_utils
    
    Probability_sig
    
    Probability
    
    Distributions
    
    Test_encodings_util
    
    Trie
    
    Children
    
    Tztest_helper
- Library octez-l2-libs.smart-rollup
  - Octez_smart_rollup
    
    Address
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    Commitment
    
    Hash
    
    V1
    
    Dal
    
    Slot_index
    
    Page_index
    
    Commitment
    
    Slot_header
    
    V1
    
    Slot_history
    
    V1
    
    Slot_history_cache
    
    V1
    
    Error
    
    Game
    
    V1
    
    Inbox
    
    Hash
    
    Skip_list
    
    MONADIC
    
    Lwt
    
    Make_monadic
    
    V1
    
    Inbox_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    Kind
    
    L1_operation
    
    L2_message
    
    Hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    Merkelized_payload_hashes_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    Rollup_constants
    
    Rollup_node_services
    
    Encodings
    
    Arg
    
    PREFIX
    
    Make_services
    
    Global
    
    Local
    
    Sc_rollup_block
    
    Smart_rollup_context_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    H
    
    State_hash
    
    Set
    
    Map
    
    Table
    
    Error_table
    
    WeakRingTable
    
    Versioned_data
    
    S
- Library octez-l2-libs.smart_rollup_wasm_benchmark_lib
  - Octez_smart_rollup_wasm_benchmark_lib
    
    Data
    
    Csv
    
    Exec
    
    Inputs
    
    Kernels
    
    Messages
    
    Demo
    
    Measure
    
    Pvm_instance
    
    Wasm
    
    Internal_for_tests
    
    Wasm_fast_vm
    
    Internal_for_tests
    
    PP
    
    Scenario
- Library octez-l2-libs.wasmer
  - Tezos_wasmer
    
    Config
    
    Engine
    
    Store
    
    Ref
    
    Module
    
    Memory
    
    Array
    
    Internal_for_tests
    
    Instance
    
    Exports
- Library octez-l2-libs.webassembly-interpreter
  - Tezos_webassembly_interpreter
    
    Ast
    
    TzStdLib
    
    Vector
    
    IntOp
    
    FloatOp
    
    I32Op
    
    I64Op
    
    F32Op
    
    F64Op
    
    V128Op
    
    Binary_exn
    
    Decode_error
    
    Encode_error
    
    Floating_point
    
    Decode
    
    Vector
    
    Durable_storage
    
    Encode
    
    Env
    
    Error
    
    Make
    
    Eval
    
    Eval_num
    
    Eval_vec
    
    F32
    
    F32_convert
    
    F64
    
    F64_convert
    
    Free
    
    Set
    
    Func
    
    Fxx
    
    RepType
    
    S
    
    Make
    
    Global
    
    Host_funcs
    
    I16
    
    I32
    
    I32_convert
    
    I64
    
    I64_convert
    
    I8
    
    Import
    
    Input_buffer
    
    Instance
    
    ModuleMap
    
    Map
    
    Map
    
    Vector
    
    NameMap
    
    Map
    
    Ixx
    
    RepType
    
    S
    
    Make
    
    Lib
    
    Fun
    
    List
    
    List32
    
    Array32
    
    Bigarray
    
    Array1_64
    
    Option
    
    Int
    
    String
    
    Memory
    
    Memory_sig
    
    S
    
    Operators
    
    Output_buffer
    
    Messages
    
    Outboxes
    
    Internal_for_tests
    
    Partial_memory
    
    Partial_table
    
    Vector
    
    Proto_compat
    
    Compare
    
    Error_monad
    
    Source
    
    Spectest
    
    Table
    
    Vector
    
    Table_sig
    
    S
    
    Vector
    
    Tick_model
    
    Types
    
    Utf8
    
    V128
    
    IntShape
    
    FloatShape
    
    I8x16
    
    I16x8
    
    I32x4
    
    I64x2
    
    F32x4
    
    F64x2
    
    V1x128
    
    V8x16
    
    I8x16_convert
    
    I16x8_convert
    
    I32x4_convert
    
    I64x2_convert
    
    F32x4_convert
    
    F64x2_convert
    
    Valid
    
    Values
    
    NumType
    
    I32Num
    
    I64Num
    
    F32Num
    
    F64Num
    
    VecType
    
    V128Vec
- Library octez-l2-libs.webassembly-interpreter-extra
  - Tezos_webassembly_interpreter_extra
    
    Lexer
    
    Parse
    
    Parser
    
    Script
- Sources
  - octez-l2-libs.layer2_store
    
    delayed_write_monad.ml
    
    indexed_store.ml
    
    irmin_store.ml
    
    store_errors.ml
    
    store_sigs.ml
    
    store_utils.ml
    
    tezos_layer2_store.ml
  - octez-l2-libs.scoru-wasm
    
    binary_parser_encodings.ml
    
    builtins.ml
    
    constants.ml
    
    data_encoding_utils.ml
    
    durable.ml
    
    host_funcs.ml
    
    init_encodings.ml
    
    interpreter_encodings.ml
    
    kont_encodings.ml
    
    pvm_input_kind.ml
    
    tezos_scoru_wasm.ml
    
    wasm_encoding.ml
    
    wasm_pvm.ml
    
    wasm_pvm_errors.ml
    
    wasm_pvm_sig.ml
    
    wasm_pvm_state.ml
    
    wasm_vm.ml
    
    wasm_vm_sig.ml
  - octez-l2-libs.scoru-wasm-fast
    
    cache.ml
    
    exec.ml
    
    funcs.ml
    
    memory_access.ml
    
    module_cache.ml
    
    pvm.ml
    
    tezos_scoru_wasm_fast.ml
    
    vm.ml
  - octez-l2-libs.scoru-wasm-helpers
    
    ast_printer.ml
    
    encodings_util.ml
    
    tezos_scoru_wasm_helpers.ml
    
    wasm_utils.ml
    
    wasm_utils_intf.ml
  - octez-l2-libs.scoru_wasm_durable_snapshot
    
    durable.ml
    
    tezos_scoru_wasm_durable_snapshot.ml
  - octez-l2-libs.scoru_wasm_test_helpers
    
    ast_generators.ml
    
    durable_operation.ml
    
    durable_operation_generator.ml
    
    durable_program_generator.ml
    
    durable_program_runner.ml
    
    durable_snapshot_util.ml
    
    probability_utils.ml
    
    test_encodings_util.ml
    
    tezos_scoru_wasm_test_helpers.ml
    
    trie.ml
    
    tztest_helper.ml
  - octez-l2-libs.smart-rollup
    
    address.ml
    
    commitment.ml
    
    dal.ml
    
    error.ml
    
    game.ml
    
    inbox.ml
    
    inbox_hash.ml
    
    kind.ml
    
    l1_operation.ml
    
    l2_message.ml
    
    merkelized_payload_hashes_hash.ml
    
    octez_smart_rollup.ml
    
    rollup_constants.ml
    
    rollup_node_services.ml
    
    sc_rollup_block.ml
    
    smart_rollup_context_hash.ml
    
    state_hash.ml
    
    versioned_data.ml
  - octez-l2-libs.smart_rollup_wasm_benchmark_lib
    
    data.ml
    
    exec.ml
    
    inputs.ml
    
    measure.ml
    
    octez_smart_rollup_wasm_benchmark_lib.ml
    
    pvm_instance.ml
    
    scenario.ml
  - octez-l2-libs.wasmer
    
    api.ml
    
    api_funcs_desc.ml
    
    api_types.ml
    
    api_types_desc.ml
    
    config.ml
    
    engine.ml
    
    error.ml
    
    export_type.ml
    
    exports.ml
    
    extern.ml
    
    function.ml
    
    function_type.ml
    
    import_type.ml
    
    instance.ml
    
    memory.ml
    
    module.ml
    
    ref.ml
    
    store.ml
    
    tezos_wasmer.ml
    
    tezos_wasmer__.ml
    
    trap.ml
    
    utils.ml
    
    value.ml
    
    value_type.ml
    
    vectors.ml
    
    wasmer__c_generated_functions__Api_funcs_desc__Functions.ml
    
    wasmer__c_generated_types.ml
  - octez-l2-libs.webassembly-interpreter
    
    proto_compat.ml
    
    tezos_webassembly_interpreter.ml
  - octez-l2-libs.webassembly-interpreter-extra
    
    lexer.ml
    
    parse.ml
    
    parser.ml
    
    script.ml
    
    tezos_webassembly_interpreter_extra.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Octez_smart_rollup_wasm_benchmark_lib.Pvm_instance`Source

module Wasm : 
  Tezos_scoru_wasm.Wasm_pvm_sig.S
    with type tree = Tezos_scoru_wasm_helpers.Encodings_util.Tree.tree

PVM instance used in benchmark

Sourcemodule Wasm_fast_vm : Tezos_scoru_wasm.Wasm_vm_sig.S

Source

val encode_pvm_state : 
  Tezos_scoru_wasm.Wasm_pvm_state.Internal_state.pvm_state ->
  Wasm.tree ->
  Wasm.tree Lwt.t

Source

val decode_pvm_state : 
  Wasm.tree ->
  Tezos_scoru_wasm.Wasm_pvm_state.Internal_state.pvm_state Lwt.t

Sourceval get_tick_from_tree : Wasm.tree -> Z.t Lwt.t

Source

val get_tick_from_pvm_state : 
  Tezos_scoru_wasm.Wasm_pvm_state.Internal_state.pvm_state ->
  Z.t Lwt.t

Sourcemodule PP : sig ... end

Pretty Printing utilities

Sourceval builtins : Tezos_scoru_wasm.Builtins.reveals

package octez-l2-libs

Module Octez_smart_rollup_wasm_benchmark_lib.Pvm_instanceSource

Module `Octez_smart_rollup_wasm_benchmark_lib.Pvm_instance`Source