README.org

Self-stabilizing Algorithms SimulAtor (Simulation d’Algorithmes autoStAbilisants)

Contributors Guide

Releases Notes

https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/releases

Compiling sasa sources

You will need:

• make
• a set of tools installable via opam
  • dune
  • ocamlgraph
  • lutin (not for compiling actually, but for using sasa with custom daemons)

cf the test job in the Gitlab CI script: ../../.gitlab-ci.yml for a working installation process.

Parsing dot files

The dot file parsing is based on the ocamlgraph library. It is done by the Topology module: