sasa.opam 1.13 KiB
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/ "]