Module Sasacore

module Conf : sig ... end
module Daemon : sig ... end
module DaemonType : sig ... end
module Enumerate : sig ... end
module Evil : sig ... end

This module gathers daemons that tries to reach the worst case with a potential function using various heuristic.

module ExhaustSearch : sig ... end
module GenLutin : sig ... end
module GenOracle : sig ... end
module GenRegister : sig ... end

f ml_ins (state_file, config_file, register_file) Takes as input some ocaml files and 3 output file names, and it generates those 3 files if they do not already exist:

module LocalSearch : sig ... end

A generic module to implement local searches https://en.wikipedia.org/wiki/Local_search_(optimization)

module Process : sig ... end
module Register : sig ... end

This module duplicates and extends the Algo module with get_* functions.

module RifRead : sig ... end

Reads on stdin a bool

module Round : sig ... end
module SasArg : sig ... end
module SasaState : sig ... end

'v is the type of Algo local state, and is defined by users.

module Seed : sig ... end
module SimuState : sig ... end

The module is used by

module Step : sig ... end
module StringOf : sig ... end
module Topology : sig ... end
module WorstInit : sig ... end