Une maintenance aura lieu le jeudi 22 janvier. Le service sera indisponible l'après-midi à partir de 14h.

Tags

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

v4.7.0

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

Release: v4.7.0
v4.6.1

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

Release: v4.6.1
v4.6.0

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

Release: v4.6.0
v4.5.9

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

Release: v4.5.9
v4.5.8

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

Release: v4.5.8
v4.5.7

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

Release: v4.5.7
v4.5.6

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

Release: v4.5.6
v4.5.5

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

Release: v4.5.5
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
v4.5.3

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

Release: v4.5.3
v4.5.2

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

Release: v4.5.2
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
```
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
```
v4.5.1

bf4fe763 · Update: make it possible to use rbgui with rdbg daemons · Jun 03, 2021
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
```
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
```
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
```
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
```
4.3.29

7df6d8e0 · Merge branch 'daemon-gui' into 'master' · May 07, 2021
```
Release 4.3.29
```
4.3.28

8dbaa1c8 · Add a potential function dans toy-example-a5sf · May 04, 2021

Release: 4.3.28
```
Release 4.3.28
```

1
2
3
4
5
6
…
8