Sasacore
module Conf : sig ... end
module Daemon : sig ... end
module DaemonType : sig ... end
module Diameter : sig ... end
Watch out, computing the diameter can be very expensive
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