Merge requests · verimag

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
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 "Process should have acess to their identity"

verimag/synchrone/sasa!2 · created Jun 21, 2019 by erwan
- Merged
updated Jun 21, 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 "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 "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!6 · created Jun 26, 2019 by Gwennan Eliezer
Doing
- Closed
- 2
updated Jun 26, 2019
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 "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 "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
Update "Generate random graphs"

verimag/synchrone/sasa!9 · created Jul 15, 2019 by Gwennan Eliezer update-to-4-generate-random-graphs
updated Jul 15, 2019
WIP: Resolve "Generate random graphs" (updated)

verimag/synchrone/sasa!10 · created Jul 15, 2019 by Gwennan Eliezer
Doing
- Closed
- 1
updated Jun 03, 2021
WIP: Intersection akshay

verimag/tempo/multidimensional_search!1 · created May 05, 2020 by Akshay Mambakam
- Closed
updated May 05, 2020
Hugo rdbg daemon

verimag/synchrone/sasa!11 · created Aug 27, 2020 by erwan
Drive rdbg tests in a more portable way

verimag/synchrone/sasa!12 · created Feb 09, 2021 by Gabriel B. Sant'Anna
- Merged
- 1
- Approved
updated Mar 02, 2021
Toy example (Guillaume)

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

verimag/synchrone/sasa!14 · created May 07, 2021 by erwan
- Merged
- Approved
updated May 07, 2021
Add WIB and SasaExplore

verimag/synchrone/sasa!15 · created Aug 23, 2021 by Gwennan Eliezer
- 55
updated Dec 29, 2021
Add mining_method skeleton and small patch for MacOS execution

verimag/tempo/multidimensional_search!2 · created Sep 22, 2022 by EXT CARLOS MORAN ALFONSO
- Merged
- 3
- Approved
updated Nov 04, 2022
Revert "Merge branch 'merge-request' into 'master'"

verimag/tempo/multidimensional_search!3 · created Sep 28, 2022 by EXT José Ignacio Requeno Jarabo
- Merged
updated Sep 28, 2022