The user guide can be browsed at https://verimag.gricad-pages.univ-grenoble-alpes.fr/synchrone/sasa/
| Name | Last commit | Last update |
|---|---|---|
| guides | ||
| lib | ||
| node_modules | ||
| src | ||
| test | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| .merlin | ||
| LICENCE | ||
| Makefile | ||
| Makefile.version | ||
| README.md | ||
| algo.opam | ||
| dune-project | ||
| package.json | ||
| sasa.opam | ||
| sasacore.opam |