Commit 37638688 authored by erwan's avatar erwan
Browse files

Fix the page job again!

parent 93b53032
Pipeline #40133 failed with stages
in 5 minutes and 4 seconds
......@@ -18,7 +18,7 @@ expe-sasa.4.0.3:
- make
artifacts:
paths:
- expe/result
- expe/results
# The same experiment using the lastest opam versions
expe-current:
......@@ -30,7 +30,7 @@ expe-current:
- make
artifacts:
paths:
- expe/result
- expe/results
# Ditto using the verimag-sync-tools image where everything is already
# installed
......@@ -43,7 +43,7 @@ expe-dockver:
- make
artifacts:
paths:
- expe/result
- expe/results
pages:
stage: deploy
......@@ -52,7 +52,7 @@ pages:
- apt-get install tree
script:
- mkdir .public
- cp -rf expe/result .public/
- cp -rf expe/results .public/
- tree -h -H '.' -L 2 --noreport --charset utf-8 --prune > index.html
- cd ..
- mv .public public
......
- [Artifact of the article **SASA: a SimulAtor of Self-stabilizing Algorithms** published in TAP 2020](#orgceb28a4)
- [Using The TAP Virtual Machine](#org3e152d4)
- [Using Docker](#orgb853e47)
- [Instructions to generate the data contained in Fig.1 of Section 2](#orgb5fbc60)
- [Instructions to generate the data contained in Table 1 of Section 4](#orgaf53d00)
- [Artifact of the article **SASA: a SimulAtor of Self-stabilizing Algorithms** published in TAP 2020](#org7d05b9c)
- [Using The TAP Virtual Machine](#orgbcbe716)
- [Using Docker](#org0017b3c)
- [Instructions to generate the data contained in Fig.1 of Section 2](#org58dea6e)
- [Instructions to generate the data contained in Table 1 of Section 4](#org1f04882)
<a id="orgceb28a4"></a>
<a id="org7d05b9c"></a>
# Artifact of the article **SASA: a SimulAtor of Self-stabilizing Algorithms** published in TAP 2020
......@@ -24,7 +24,7 @@ By following the instructions, you should be able to replay the experiments, but
- <https://verimag.gricad-pages.univ-grenoble-alpes.fr/synchrone/sasa/>
<a id="org3e152d4"></a>
<a id="orgbcbe716"></a>
## Using The TAP Virtual Machine
......@@ -35,7 +35,7 @@ They should be executed under a VM that you should find here: <https://struebli.
cf <https://tap.sosy-lab.org/2020/callforartifacts.php>
<a id="orgb853e47"></a>
<a id="org0017b3c"></a>
## Using Docker
......@@ -59,7 +59,7 @@ If the last command has run without problem, you are inside a docker image where
You can thus proceed with the instructions below.
<a id="orgb5fbc60"></a>
<a id="org58dea6e"></a>
### Instructions to generate the data contained in Fig.1 of Section 2
......@@ -88,7 +88,7 @@ Type `<Enter>` 3 more times to see Configurations 4, 5, and 6 of Fig.1.
Type `q` to exit.
<a id="orgaf53d00"></a>
<a id="org1f04882"></a>
### Instructions to generate the data contained in Table 1 of Section 4
......@@ -110,7 +110,7 @@ to see the generated log files. Those files contain the memory usage and the exe
make save_result
```
a (sed) script will parse those .log files to generate a `summary.org` file and save generated files in a directory named `result`. The summary.org file ought to contain a summary of all the experiments you have just performed. Table 1 was obtained out of it.
a (sed) script will parse those .log files to generate a `summary.org` file and save generated files in a directory named `results`. The summary.org file ought to contain a summary of all the experiments you have just performed. Table 1 was obtained out of it.
The correspondence between directory names and the Column 1 names is
......
......@@ -115,7 +115,7 @@ make save_result
#+END_SRC
a (sed) script will parse those .log files to generate a =summary.org=
file and save generated files in a directory named =result=. The
file and save generated files in a directory named =results=. The
summary.org file ought to contain a summary of all the experiments you
have just performed. Table 1 was obtained out of it.
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment