Tags · verimag / synchrone / sasa · GitLab

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

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
v4.5.1

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

Download source code

zip tar.gz tar.bz2 tar
4.5.0

d1305932 · Chore: change the docker image (the previous one is broken) · May 26, 2021

Release 4.5.0
```
Release 4.5.0
```
Download source code

zip tar.gz tar.bz2 tar
4.4.0

47f12787 · Update: take advantage of the new rdbg mv_hook Exit event for more robustness · May 14, 2021

Release 4.4.0
```
Release 4.4.0
```
Download source code

zip tar.gz tar.bz2 tar
4.3.31

c24817c8 · Update: take advantage of the new mv_hook event (rdbg 1.191) to be more general · May 09, 2021

Release 4.3.31
```
Release 4.3.31
```
Download source code

zip tar.gz tar.bz2 tar
4.3.30

7c662175 · Fix: the rdbgui4sasa was not quite rigth. Now it seems to work. · May 08, 2021

Release 4.3.30
```
Release 4.3.30
```
Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
3
4
5
…
7
Next