Tags · verimag / synchrone / sasa · GitLab

Tags give the ability to mark specific points in history as being important

v4.13.0

319660d4 · ci: track a missing file · May 26, 2023

Release v4.13.0
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

simca-docker

build
v4.12.0

abaa00b1 · test: change the state scan/parse conventions so that it is compatible · Feb 27, 2023

Release v4.12.0

Download source code

zip tar.gz tar.bz2 tar
v4.11.0

fb6fdca8 · test: add a few qtest tests · Jan 26, 2023

Release v4.11.0

Download source code

zip tar.gz tar.bz2 tar
v4.10.0

52b31d78 · feat: add a fault injection button in the GUI · Jan 19, 2023

Release v4.10.0

Download source code

zip tar.gz tar.bz2 tar
v4.9.0

6fec4998 · ci: add missing untracked files · Jan 18, 2023

Release v4.9.0

Download source code

zip tar.gz tar.bz2 tar
v4.8.0

52d78821 · Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/sasa · Sep 05, 2022

Release v4.8.0

Download source code

zip tar.gz tar.bz2 tar
v4.7.1

e2c061c1 · refactor · Jul 20, 2022

Release v4.7.1

Download source code

zip tar.gz tar.bz2 tar
v4.7.0

c45cb622 · test: update GM test exp file · Jun 23, 2022

Release v4.7.0

Download source code

zip tar.gz tar.bz2 tar
v4.6.1

c3dfe95f · fix: the round number in lustre oracles (no incr at the last step) · Jun 10, 2022

Release v4.6.1

Download source code

zip tar.gz tar.bz2 tar
v4.6.0

f994a72d · test: add necessary untracked files · May 30, 2022

Release v4.6.0

Download source code

zip tar.gz tar.bz2 tar
v4.5.9

cb17aef2 · fix: Add arrow back in dot visu for directed graphs · Dec 17, 2021

Release v4.5.9

Download source code

zip tar.gz tar.bz2 tar
v4.5.8

a1a021df · fix: wrong information was displayed when run under rdbg with internal deamons · Dec 17, 2021

Release v4.5.8

Download source code

zip tar.gz tar.bz2 tar
v4.5.7

733695a5 · ci: upgrade the js node used for semantic-release · Oct 06, 2021

Release v4.5.7

Download source code

zip tar.gz tar.bz2 tar
v4.5.6

f70bcede · test: add a -seed option to gg to get reproducible GM tests · Sep 02, 2021

Release v4.5.6

Download source code

zip tar.gz tar.bz2 tar
v4.5.5

dbf6ad81 · test: update an rif.exp file · Jul 31, 2021

Release v4.5.5

Download source code

zip tar.gz tar.bz2 tar
v4.5.4

9996f90c · fix: raise an error when Algo.diameter is called on a non-connected graph · Jul 27, 2021

Release v4.5.4

Download source code

zip tar.gz tar.bz2 tar
v4.5.3

88a306ec · fix: allow dot files to start with a relative path · Jul 27, 2021

Release v4.5.3

Download source code

zip tar.gz tar.bz2 tar
v4.5.2

65ffa7f0 · ci: use the main verimag repo · Jul 23, 2021

Release v4.5.2

Download source code

zip tar.gz tar.bz2 tar
4.6.0

cc029128 · Chore: refactor the code to be able to provide the whole SimuState.t to Daemons · Jun 17, 2021

Release 4.6.0
```
Release 4.6.0
```
Download source code

zip tar.gz tar.bz2 tar
4.5.1

bf4fe763 · Update: make it possible to use rbgui with rdbg daemons · Jun 03, 2021

Release 4.5.1
```
Release 4.5.1
```
Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
3
4
5
…
8
Next