Tags

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

v4.13.1

e7044db0 · ci: remove salut test for now · Apr 08, 2024

Release: v4.13.1
v4.13.0

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

Release: v4.13.0
v4.12.0

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

Release: v4.12.0
v4.11.0

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

Release: v4.11.0
v4.10.0

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

Release: v4.10.0
v4.9.0

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

Release: v4.9.0
v4.8.0

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

Release: v4.8.0
v4.7.1

e2c061c1 · refactor · Jul 20, 2022

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

Prev
1
2
3
4
5
…
8
Next