Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
sasa
Repository
Branches
Overview
Active
Stale
All
master
default
protected
733695a5
·
ci: upgrade the js node used for semantic-release
·
Oct 06, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
find-worst-path
008f4d5d
·
Renamed wib/include into wib/main
·
Sep 20, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fwp-tests
d54d8450
·
Removed some useless comments
·
Aug 05, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
toy-example-guillaume
7aad4b32
·
Add Makefile rules to run the heuristic daemons.
·
May 18, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
daemon-gui
merged
3e2fb322
·
Chore
·
May 07, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fp_hugo
7a8b2722
·
rdbg tuning branch and bound
·
Oct 08, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
hugo
2eb109e9
·
merge current version of master
·
Sep 04, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
hugo_rdbg_daemon
fd8675ee
·
Fix: bug in Evil.worst
·
Aug 27, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
potentiel
merged
75dfd3a9
·
Fix: the potential computed in SasaRun was still wrong (neigbours were not updated wrt next field)
·
Aug 25, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
update-to-4-generate-random-graphs
ed44abab
·
Minor changes in scriptEnv
·
Jul 19, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4-generate-random-graphs
merged
ba54cd7d
·
Merge branch 'update-to-4-generate-random-graphs' into '4-generate-random-graphs'
·
Jul 15, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
11-add-lustre-oracles-to-all-examples-of-the-test-directory
merged
668acd92
·
Merge branch '11-add-lustre-oracles-to-all-examples-of-the-test-directory' of...
·
Jul 08, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
3-compute-the-graph-degree-diameter-etc
44bb314c
·
Added 'test/non-reg', in order to check if the access to graph's properties...
·
Jul 08, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
12-add-a-get_graph_attributes-function-to-the-sasa-api
merged
741b1fbf
·
New: Add a get_graph_attributes function to the sasa API (closes
#12
)
·
Jul 03, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
addVariables
abd1724e
·
Add udg parser for udg graph. Add weight
·
Jun 26, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
3-compute-the-graph-degree-diameter-etc-2
merged
7ecdeca2
·
New: Generate oracle skeletons from the dot (
#10
)
·
Jun 25, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
9-take-into-account-the-initialisation-of-local-variables-done-the-dot-again
merged
41200721
·
Update: Call the user-provided state parser.
·
Jun 21, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
7-process-should-have-acess-to-their-identity
merged
c092421f
·
New: add in neighbor the pid of the process the neighbor is the a neighbor of
·
Jun 21, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
8-add-weights-to-graphs
merged
e76aa9be
·
New: Add support for transition weights
·
Jun 21, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
polymorphic_value
merged
21e43d9e
·
Test: add dfs-list in the list of tests
·
Jun 21, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next
