module Ast : sig ... endmodule Base_samplers : sig ... endmodule Benchmark : sig ... endThis module defines several signatures to create a benchmark. * The most generic is S; it provides a rather complete control on benchmark creation. * Simple and Simple_with_num can be used to ease benchmark creation, with simpler parameters. Registration functions in Registration will convert these simple interfaces back to S. * All the common parameters for these signatures are declared in Benchmark_base.
module Benchmark_helpers : sig ... endmodule Builtin_benchmarks : sig ... endPrivate module for internal benchmarks
module Builtin_models : sig ... endmodule Codegen : sig ... endmodule Config : sig ... endThis module implements a schema for a json file that contains the configuration for all the benchmarks registered in Snoop. This configuration file has a tree-like structure that follows the Namespace hierarchy of the benchmarks. Its root element is always ".".
module Costlang : sig ... endmodule Crypto_samplers : sig ... endFunctions for sampling (pk,pkh,sk) triplets.
module Csv : sig ... endSave and load tables as CSV files.
module Dep_graph : sig ... endModels associated to benchmarks have free variables. Some of these variables are to be inferred from the empirical data, but some others must be provided by other models and correspond to _dependencies_ of a model upon the result of another one.
module Fixed_point_transform : sig ... endTransform multiplications by constants in a costlang expression to fixed point arithmetic. Allows to make cost functions protocol-compatible.
module Free_variable : sig ... endmodule Generator : sig ... endmodule Inference : sig ... endmodule Maths : sig ... endmodule Measure : sig ... endmodule Model : sig ... endmodule Namespace : sig ... endNamespace implements a type for the name of the benchmarks in Snoop It can be seen as a path of several names, similar to a file system
module Ocamlformat : sig ... endmodule Override : sig ... endmodule Plot : sig ... endprbnmcn-gnuplot: a self-contained interface to Gnuplot.
module Pyinference : sig ... endmodule Pyinit : sig ... endmodule Pytools : sig ... endmodule Registration : sig ... endThe Registration module contains functions regarding the registration of benchmarks, models, parameters and commands for the Snoop tool.
module Scikit_matrix : sig ... endmodule Sparse_vec : sig ... endmodule Structure_samplers : sig ... end