Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • verimag 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
  • verimagverimag
  • 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