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-2.1"
homepage: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa"
dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"
bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
depends: [
  "ocaml" { >= "4.02" }
  "ocamlfind"
  "dune" { >= "2.0" }
  "ocamlgraph"
  "lutils"
  "psq"
  "functory"
  "ledit"
  "rdbg" { >= "1.194" }
  "lustre-v6"
  "lutin"
  ]
build: [make "build"]
install: ["dune" "install"]
post-messages: ["The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/ "]