This 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.

This 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 ".".

Functions for sampling (pk,pkh,sk) triplets.

Save and load tables as CSV files.

Models 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.

Transform multiplications by constants in a costlang expression to fixed point arithmetic. Allows to make cost functions protocol-compatible.

Namespace 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

prbnmcn-gnuplot: a self-contained interface to Gnuplot.

The Registration module contains functions regarding the registration of benchmarks, models, parameters and commands for the Snoop tool.