package tezos-benchmark

  1. Overview
  2. Docs
package tezos-benchmark
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_benchmark.CodegenSource

Sourcetype solution = {
  1. map : float Free_variable.Map.t;
  2. scores_list : ((string * Namespace.t) * Inference.scores) list;
}
Sourceval get_codegen_destinations : Registration.model_info -> string Tezos_base.TzPervasives.trace

get_codegen_destinations model_info will return all the generated code destinations in which given model is used

Sourceval pp_solution : Format.formatter -> solution -> unit
Sourceval load_solution : string -> solution

Load a solution form a binary or JSON file

Sourceval save_solution : solution -> string -> unit

Save the given solution to binary and JSON files

Sourceval solution_to_csv : solution -> Csv.csv
Sourceval load_exclusions : string -> Tezos_base.TzPervasives.String.Set.t

Load a text file of lines of function names

Sourcetype code

Generated code for a model

Sourcetype module_

Build the cost function codes of the specified model

Sourceval codegen_models : (Namespace.t * Registration.model_info) list -> solution -> Costlang.transform -> exclusions:Tezos_base.TzPervasives.String.Set.t -> (string * code) list

codegen_models models solution transform ~exclusions generates the cost function codes of multiple models. The functions in the set exclusions are excluded from the generation.

Sourceval comment : string list -> code

Make a comment

Sourceval make_toplevel_module : code list -> module_

Make a toplevel module (an .ml file) from the given list of codes

Sourceval pp_code : Format.formatter -> code -> unit
Sourceval pp_module : Format.formatter -> module_ -> unit
Sourcemodule Parser : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct