Issues · verimag / synchrone / sasa

New issue

Make the diameter() return None when the graph is not connected

#15 · opened Jul 19, 2019 by Gwennan Eliezer
- 0
updated Jul 19, 2019
Change the graph created by "gg BA" on the m0 first nodes.

#14 · opened Jul 12, 2019 by Gwennan Eliezer To Do
- 0
updated Jul 12, 2019
Use the functions of #3 in all the test/examples instead of the current hard-coded values

#13 · opened Jul 04, 2019 by erwan
- CLOSED
- 0
updated Apr 14, 2020
Add a get_graph_attributes function to the sasa API

#12 · opened Jul 02, 2019 by erwan
- CLOSED
- 1
- 1
updated Jul 03, 2019
Add Lustre oracles to all examples of the test directory

#11 · opened Jul 01, 2019 by erwan
- CLOSED
- 1
- 1
updated Jul 08, 2019
Generate oracle skeletons from the dot

#10 · opened Jun 25, 2019 by erwan
- CLOSED
- 1
updated Jun 25, 2019
Take into account the initialisation of local variables done the dot again

#9 · opened Jun 21, 2019 by erwan
- CLOSED
- 1
- 1
- 0
updated Jul 12, 2019
Add weights to graphs

#8 · opened Jun 21, 2019 by erwan
- CLOSED
- 1
- 0
updated Jul 12, 2019
Process should have acess to their identity

#7 · opened May 29, 2019 by erwan
- CLOSED
- 1
- 1
updated Jun 21, 2019
Add options to prevent algo to access to forbidden information

#6 · opened May 19, 2019 by erwan
- 0
updated May 19, 2019
Allow the simulation to have inputs

#5 · opened May 17, 2019 by erwan
- 3
updated Jul 03, 2019
Generate random graphs

#4 · opened May 17, 2019 by erwan
- CLOSED
- 1
- 1
- 1
updated Jul 15, 2019
Compute the graph degree, diameter, etc.

#3 · opened May 17, 2019 by erwan
- CLOSED
- 2
- 1
- 2
updated Jul 15, 2019
The generated synchronous Lutin demon is wrong

#2 · opened May 17, 2019 by erwan To Do todo
- 0
updated Jul 03, 2019
Generate a Lutin node implementing a central demon

#1 · opened May 17, 2019 by erwan To Do todo
- 0
updated Jun 20, 2019