GitLab

Menu

Projects Groups Snippets

Loading...
Help
Sign in

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

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
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
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
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
Generate random graphs

verimag/synchrone/sasa#4 · created May 17, 2019 by erwan
- CLOSED
- 1
- 1
- 1
updated Jul 15, 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
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 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
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
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
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
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
Add n-ary `xor` (and `boolred`) to lutin

verimag/synchrone/lutin#3 · created Jul 03, 2019 by erwan
- CLOSED
- 2
updated Jul 26, 2019

Prev
1
2
Next