Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
sasa
Tags
Tags give the ability to mark specific points in history as being important
v4.11.0
fb6fdca8
·
test: add a few qtest tests
·
Jan 26, 2023
Release
v4.11.0
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
simca-docker
build
v4.10.0
52b31d78
·
feat: add a fault injection button in the GUI
·
Jan 19, 2023
Release
v4.10.0
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
simca-docker
build
v4.9.0
6fec4998
·
ci: add missing untracked files
·
Jan 18, 2023
Release
v4.9.0
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v4.7.1
e2c061c1
·
refactor
·
Jul 20, 2022
Release
v4.7.1
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
…
7
Next