Merge requests · verimag

Skip to content

GitLab

Projects Groups Snippets

/

Help
Sign in

verimag
Group information
- Group information
- Activity
- Labels
- Members
Issues 21
- Issues 21
- List
- Board
- Milestones
Merge requests 2
- Merge requests 2
Packages and registries
- Packages and registries
- Package Registry

Collapse sidebar

verimag
Merge requests

Open 2
Merged 15
Closed 5
All 22

Weekly work

verimag/tempo/multidimensional_search!5 · created Nov 11, 2022 by EXT José Ignacio Requeno Jarabo version/2.3.0
- MERGED
- Approved
- 0
updated Nov 11, 2022
- Fixing ç symbol in ParSearch.py::multidim_search_BMNN22_opt_0

verimag/tempo/multidimensional_search!4 · created Nov 06, 2022 by EXT José Ignacio Requeno Jarabo version/2.3.0
- MERGED
- 0
updated Nov 06, 2022
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
- Approved
- 3
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
- 0
updated Sep 28, 2022
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