Tags

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

v4.14.4

08ed492e · fix: failures raised in user programs (eg, incompat topo) were hided · Apr 25, 2025

Release: v4.14.4
v4.14.3

7c62d21d · fix: the generated version number was wrong for salut/opam (and guix) · Apr 09, 2025

Release: v4.14.3
v4.14.2

21be6352 · fix: do not print the sha with -version if not a git install · Apr 09, 2025

Release: v4.14.2
v4.14.1

327c5865 · fix: the generated version number was wrong for guix · Apr 08, 2025

Release: v4.14.1
v4.14.0

d59d47bd · amend the previous commit · Jan 18, 2025

Release: v4.14.0
v4.13.2

b0ebde6a · build: kind2 2.2.0 requires contant types to be defined · Jan 14, 2025

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

Prev
1
2
3
4
5
…
8
Next