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
  • 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
  • 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
  • Generate oracle skeletons from the dot
    verimag/synchrone/sasa#10 · created Jun 25, 2019 by erwan
    • CLOSED
    • 1
    updated Jun 25, 2019
  • Add Lustre oracles to all examples of the test directory
    verimag/synchrone/sasa#11 · created Jul 01, 2019 by erwan
    • CLOSED
    • 1
    • 1
    updated Jul 08, 2019
  • Add a get_graph_attributes function to the sasa API
    verimag/synchrone/sasa#12 · created Jul 02, 2019 by erwan
    • CLOSED
    • 1
    • 1
    updated Jul 03, 2019
  • Generate random graphs
    verimag/synchrone/sasa#4 · created May 17, 2019 by erwan
    • CLOSED
    • 1
    • 1
    • 1
    updated Jul 15, 2019
  • 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
  • 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
  • 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
  • Sasa does not recognise ./ as current dir
    verimag/synchrone/sasa#17 · created Jun 03, 2021 by Gwennan Eliezer
    • CLOSED
    • 1
    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'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
  • Coloring algo has a bad potential
    verimag/synchrone/sasa#20 · created Jul 27, 2021 by Gwennan Eliezer
    • CLOSED
    • 1
    updated Jul 27, 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
  • 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 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
  • 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
  • Prev
  • 1
  • 2
  • Next