Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • verimag verimag
  • Group information
    • Group information
    • Activity
    • Labels
    • Members
  • Issues 16
    • Issues 16
    • List
    • Board
    • Milestones
  • Merge requests 2
    • Merge requests 2
  • Packages & Registries
    • Packages & Registries
    • Package Registry
Collapse sidebar
  • verimag
  • Issues

  • Open 16
  • Closed 21
  • All 37
  • Priority Created date Updated date Milestone due date Due date Popularity Label priority Manual Title
  • Compare and Contrast Essay - An Ultimate Writing Guide - 2021 Guide
    verimag/synchrone/sasa#24 · created Sep 06, 2021 by Ghost User
    • CLOSED
    • 0
    updated Sep 08, 2021
  • Sasa does not stop execution on the first legitimate state on unison
    verimag/synchrone/sasa#23 · created Aug 04, 2021 by Gwennan Eliezer
    • 0
    updated Aug 04, 2021
  • Sasa can stack overflow in the toy example sum
    verimag/synchrone/sasa#22 · created Aug 02, 2021 by Gwennan Eliezer
    • 0
    updated Aug 02, 2021
  • Sasa's greedy daemons doesn't work proprerly on dijkstra-ring
    verimag/synchrone/sasa#19 · created Jul 26, 2021 by Gwennan Eliezer
    • CLOSED
    • 1
    • 5
    updated Jul 31, 2021
  • Sasa does not check if trigger is enabled
    verimag/synchrone/sasa#21 · created Jul 30, 2021 by Gwennan Eliezer
    • 0
    updated Jul 30, 2021
  • Coloring algo has a bad potential
    verimag/synchrone/sasa#20 · created Jul 27, 2021 by Gwennan Eliezer
    • CLOSED
    • 1
    updated Jul 27, 2021
  • Add options to prevent algo to access to forbidden information
    verimag/synchrone/sasa#6 · created May 19, 2019 by erwan
    • 1
    • 1
    updated Jul 27, 2021
  • Make the diameter() return None when the graph is not connected
    verimag/synchrone/sasa#15 · created Jul 19, 2019 by Gwennan Eliezer
    • CLOSED
    • 1
    • 2
    updated Jul 27, 2021
  • Fonction `rev_cond_gen` manquante
    verimag/synchrone/sasa#18 · created Jun 23, 2021 by Gwennan Eliezer
    • CLOSED
    • 4
    updated Jul 27, 2021
  • Sasa does not recognise ./ as current dir
    verimag/synchrone/sasa#17 · created Jun 03, 2021 by Gwennan Eliezer
    • CLOSED
    • 1
    updated Jul 27, 2021
  • Drive rdbg tests in a more portable way
    verimag/synchrone/sasa#16 · created Feb 09, 2021 by Gabriel B. Sant'Anna   Doing
    • CLOSED
    • 1
    • 1
    updated Mar 03, 2021
  • Cleaning code
    verimag/tempo/multidimensional_search#1 · created Aug 20, 2020 by EXT José Ignacio Requeno Jarabo
    • 1
    updated Oct 30, 2020
  • Use the functions of #3 in all the test/examples instead of the current hard-coded values
    verimag/synchrone/sasa#13 · created Jul 04, 2019 by erwan
    • CLOSED
    • 0
    updated Apr 14, 2020
  • Regression tests against develop
    verimag/synchrone/mia#1 · created Aug 01, 2019 by Matheus Schuh
    • 0
    updated Jan 27, 2020
  • The difference of 2 enums is wrong when using the --expand-enums-as-bool option
    verimag/synchrone/lustre-v6#8 · created Sep 04, 2019 by erwan
    • CLOSED
    • 1
    updated Sep 04, 2019
  • Add n-ary `xor` (and `boolred`) to lutin
    verimag/synchrone/lutin#3 · created Jul 03, 2019 by erwan
    • CLOSED
    • 2
    updated Jul 26, 2019
  • Compute the graph degree, diameter, etc.
    verimag/synchrone/sasa#3 · created May 17, 2019 by erwan
    • CLOSED
    • 2
    • 1
    • 2
    updated Jul 15, 2019
  • Generate random graphs
    verimag/synchrone/sasa#4 · created May 17, 2019 by erwan
    • CLOSED
    • 1
    • 1
    • 1
    updated Jul 15, 2019
  • Change the graph created by "gg BA" on the m0 first nodes.
    verimag/synchrone/sasa#14 · created Jul 12, 2019 by Gwennan Eliezer   To Do
    • 0
    updated Jul 12, 2019
  • Take into account the initialisation of local variables done the dot again
    verimag/synchrone/sasa#9 · created Jun 21, 2019 by erwan
    • CLOSED
    • 1
    • 1
    • 0
    updated Jul 12, 2019
  • Prev
  • 1
  • 2
  • Next