sasa.opam

opam-version: "2.0"
synopsis: "SASA: a Self-stabilizing Algorithms SimulAtor"
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
description: """
SASA is a *Self-stabilizing Algorithms SimulAtor*, based on the
so-called *state model* introduced by _Dijkstra_ in its seminal article
on Self-stabilizing distributed algorithms.

Basically, one needs to provide:
1. a topology, made of nodes and channels (via a dot file)
2. the algorithms attached to nodes (via Ocaml programs)
"""
authors: [ "Erwan Jahier" ]
license: "CeCILL"
homepage: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa"
dev-repo: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"
bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
build:  [make "build"]
install:  [make "install"]
depends: [
  "ocaml"
  "ocamlfind"
  "dune" { build }
  "ocamlgraph"
  "rdbg" { test & >= "1.184" }
]
available: [ ocaml-version >= "4.02" ]
post-messages: ["The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/ "]