Skip to content

GitLab

Menu

Projects Groups Snippets

Loading...
Help
Sign in

verimag
Group information
Issues 16
Merge requests 2
- Merge requests 2
Packages & Registries

Collapse sidebar

Collapse sidebar

Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

verimag
Issues

Open 16
Closed 21
All 37

Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual

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