Merge requests · verimag

Toy example (Guillaume)

verimag/synchrone/sasa!13 · created May 03, 2021 by Guillaume Raffin
- MERGED
- 0
updated May 26, 2021
A new rdbgui4sasa with automatic daemons

verimag/synchrone/sasa!14 · created May 07, 2021 by erwan
- MERGED
- Approved
- 0
updated May 07, 2021
Drive rdbg tests in a more portable way

verimag/synchrone/sasa!12 · created Feb 09, 2021 by Gabriel B. Sant'Anna
- MERGED
- Approved
- 1
- 0
updated Mar 02, 2021
Update "Generate random graphs"

verimag/synchrone/sasa!9 · created Jul 15, 2019 by Gwennan Eliezer update-to-4-generate-random-graphs
- MERGED
- 0
updated Jul 15, 2019
WIP: Resolve "Add Lustre oracles to all examples of the test directory"

verimag/synchrone/sasa!8 · created Jul 04, 2019 by Nathan Rebiscoul
- MERGED
- 14
updated Jul 08, 2019
WIP: Resolve "Compute the graph degree, diameter, etc."

verimag/synchrone/sasa!4 · created Jun 25, 2019 by erwan Doing
- MERGED
- 30
updated Jul 04, 2019
WIP: Resolve "issue with free variables constrained in the type declaration"

verimag/synchrone/lutin!1 · created Jul 02, 2019 by erwan
- MERGED
- 0
updated Jul 03, 2019
WIP: Resolve "Add a get_graph_attributes function to the sasa API"

verimag/synchrone/sasa!7 · created Jul 02, 2019 by erwan
- MERGED
- 1
updated Jul 03, 2019
WIP: Resolve "Process should have acess to their identity"

verimag/synchrone/sasa!2 · created Jun 21, 2019 by erwan
- MERGED
- 0
updated Jun 21, 2019
WIP: Resolve "Add weights to graphs"

verimag/synchrone/sasa!1 · created Jun 21, 2019 by erwan To Do
- MERGED
- 2
updated Jun 21, 2019
WIP: Resolve "Can not iterate over the plus node (as long as it is named plus)"

verimag/synchrone/lustre-v6!1 · created Jul 02, 2018 by erwan
- MERGED
- 0
updated Jul 04, 2018