Merge requests · verimag

WIP: Resolve "issue with free variables constrained in the type declaration"

verimag/synchrone/lutin!1 · created Jul 02, 2019 by erwan
- Merged
updated Jul 03, 2019
WIP: Resolve "Compute the graph degree, diameter, etc."

verimag/synchrone/sasa!6 · created Jun 26, 2019 by Gwennan Eliezer
Doing
- Closed
- 2
updated Jun 26, 2019
WIP: Resolve "Generate random graphs"

verimag/synchrone/sasa!5 · created Jun 25, 2019 by erwan
Doing
- Closed
- 38
updated Jul 15, 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 "Take into account the initialisation of local variables done the dot again"

verimag/synchrone/sasa!3 · created Jun 21, 2019 by erwan
todo
- Closed
- 1
updated Jun 25, 2019
WIP: Resolve "Process should have acess to their identity"

verimag/synchrone/sasa!2 · created Jun 21, 2019 by erwan
- Merged
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
updated Jul 04, 2018