Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
verimag
synchrone
sasa
Repository
Branches
Overview
Active
Stale
All
rebiscon
53d3c595
·
Add algo dijkstra-ring-NR which is working. And start dfs-NR.
·
Jun 06, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
gwennan
ccbdbe4f
·
Small changes
·
Jun 14, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
polymorphic_value
21e43d9e
·
Test: add dfs-list in the list of tests
·
Jun 21, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
8-add-weights-to-graphs
e76aa9be
·
New: Add support for transition weights
·
Jun 21, 2019
!1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
7-process-should-have-acess-to-their-identity
c092421f
·
New: add in neighbor the pid of the process the neighbor is the a neighbor of
·
Jun 21, 2019
!2
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
41200721
·
Update: Call the user-provided state parser.
·
Jun 21, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
3-compute-the-graph-degree-diameter-etc-2
7ecdeca2
·
New: Generate oracle skeletons from the dot (
#10
)
·
Jun 25, 2019
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
12-add-a-get_graph_attributes-function-to-the-sasa-api
741b1fbf
·
New: Add a get_graph_attributes function to the sasa API (closes
#12
)
·
Jul 03, 2019
!7
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
!4
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
11-add-lustre-oracles-to-all-examples-of-the-test-directory
668acd92
·
Merge branch '11-add-lustre-oracles-to-all-examples-of-the-test-directory' of...
·
Jul 08, 2019
!8
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4-generate-random-graphs
ba54cd7d
·
Merge branch 'update-to-4-generate-random-graphs' into '4-generate-random-graphs'
·
Jul 15, 2019
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
potentiel
75dfd3a9
·
Fix: the potential computed in SasaRun was still wrong (neigbours were not updated wrt next field)
·
Aug 25, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
hugo_rdbg_daemon
fd8675ee
·
Fix: bug in Evil.worst
·
Aug 27, 2020
!11
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
hugo
2eb109e9
·
merge current version of master
·
Sep 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fp_hugo
7a8b2722
·
rdbg tuning branch and bound
·
Oct 08, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
daemon-gui
3e2fb322
·
Chore
·
May 07, 2021
!14
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
!13
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fwp-tests
d54d8450
·
Removed some useless comments
·
Aug 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next
