From 3fbea2da8567a646013c81076b1c4d1896c5bf1a Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 18 Nov 2020 13:43:29 +0100
Subject: [PATCH] Doc: add the sasaVM password
---
guides/users/README.org | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/guides/users/README.org b/guides/users/README.org
index 1f905258..be71ff50 100644
--- a/guides/users/README.org
+++ b/guides/users/README.org
@@ -955,14 +955,17 @@ This docker image contains all the tools mentioned in this section
https://verimag.gricad-pages.univ-grenoble-alpes.fr/synchrone/sasa/sasaVM.ova
+- login:sasa
+- passwd:sasa
+
* Screencasts
- Create a xubuntu 20.4 VM: [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/vbox-x2.avi][2 minutes video (20 min of real time)]]
- Clone that VM and install sasa via opam [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/sasa-install-x2.avi][2:39 minutes video (37 min of real time)]]
- Sasa demos (done on the VM build above, which is [[https://verimag.gricad-pages.univ-grenoble-alpes.fr/synchrone/sasa/sasaVM.ova][available here]]):
- demo 1: write and execute an algo (Dijkstra ring) [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/first-demo.avi][first-demo.avi]]
- - demo 2: re-define what a legitimate configuration is [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/legitimate-demo.avi][legitimate-demo.avi]]
- - demo 3: perform a test campaign [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/simca-demo.avi][simca-demo.avi]]
+ - demo 2: re-define what a legitimate configuration is (Dijkstra ring) [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/legitimate-demo.avi][legitimate-demo.avi]]
+ - demo 3: perform a test campaign [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/simca-demo.avi][simca-demo.avi]]
# - demo 4: demonstrate the use of potential functions [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/potential-demo.avi][potential-demo.avi]]
# - demo 5: demonstrate the use test oracles [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/sasa/screencasts/oracles.avi][oracles.avi]]
--
GitLab