package tezos-benchmark

You can search for identifiers within the package.

in-package search v0.2.0

package tezos-benchmark

tezos-benchmark
- Library tezos-benchmark
  - Tezos_benchmark
    
    Ast
    
    S
    
    Make
    
    Ast
    
    To_ast
    
    Transform
    
    Optimize
    
    At_least_10
    
    Base_samplers
    
    Adversarial
    
    Benchmark
    
    Benchmark_base
    
    Simple
    
    Simple_with_num
    
    S
    
    Benchmark_helpers
    
    Builtin_benchmarks
    
    Builtin_models
    
    Codegen
    
    Parser
    
    Config
    
    Costlang
    
    Num
    
    Ty
    
    S
    
    Void
    
    Pp
    
    Free_variables
    
    Eval
    
    Type
    
    Arg_names
    
    Eval_linear_combination_impl
    
    Transform
    
    Identity
    
    Subst
    
    Hash_cons
    
    Beta_normalize
    
    Let_lift
    
    Hash_cons_vector
    
    Eval_to_vector
    
    Fold_constants
    
    Crypto_samplers
    
    Param_S
    
    P_Finite_key_pool_S
    
    V0
    
    Finite_key_pool_S
    
    Make_finite_key_pool
    
    V1
    
    Finite_key_pool_S
    
    Make_finite_key_pool
    
    V_latest
    
    Finite_key_pool_S
    
    Make_finite_key_pool
    
    Finite_key_pool_S
    
    Make_finite_key_pool
    
    Csv
    
    Dep_graph
    
    Solver
    
    Unsolved
    
    Solved
    
    Graphviz
    
    Graph
    
    Fixed_point_transform
    
    Apply
    
    Free_variable
    
    Table
    
    Map
    
    Set
    
    Sparse_vec
    
    Op
    
    Generator
    
    S
    
    Inference
    
    NMap
    
    Maths
    
    Vector
    
    Matrix
    
    Measure
    
    Time
    
    Model
    
    Model_impl
    
    Def
    
    Instantiated
    
    Instantiate
    
    Applied
    
    Binary_operation
    
    Def
    
    Namespace
    
    Hashtbl
    
    Set
    
    Map
    
    Ocamlformat
    
    Override
    
    Plot
    
    Color
    
    Pointtype
    
    Fill
    
    Style
    
    Tics
    
    Data
    
    Scatter
    
    Line
    
    Histogram
    
    Bar
    
    Pyinference
    
    LinearModel
    
    Pyinit
    
    Pytools
    
    Registration
    
    Scikit_matrix
    
    Sparse_vec
    
    R
    
    S
    
    Op
    
    Make
    
    Op
    
    String
    
    Op
    
    Structure_samplers
- Sources
  - tezos-benchmark
    
    ast.ml
    
    base_samplers.ml
    
    benchmark.ml
    
    benchmark_helpers.ml
    
    codegen.ml
    
    config.ml
    
    costlang.ml
    
    crypto_samplers.ml
    
    csv.ml
    
    dep_graph.ml
    
    fixed_point_transform.ml
    
    free_variable.ml
    
    generator.ml
    
    inference.ml
    
    maths.ml
    
    measure.ml
    
    model.ml
    
    namespace.ml
    
    ocamlformat.ml
    
    override.ml
    
    plot.ml
    
    pyinference.ml
    
    pyinit.ml
    
    pytools.ml
    
    registration.ml
    
    scikit_matrix.ml
    
    sparse_vec.ml
    
    structure_samplers.ml
    
    tezos_benchmark.ml

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

Module `Dep_graph.Graphviz`Source

Visualization of solutions using Graphviz

Sourceval save : string -> Solver.Solved.t list -> unit