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

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
Coloring algo has a bad potential

verimag/synchrone/sasa#20 · created Jul 27, 2021 by Gwennan Eliezer
- CLOSED
- 1
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
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
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
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
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
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
issue with free variables constrained in the type declaration

verimag/synchrone/lutin#2 · created Jul 02, 2019 by erwan
- CLOSED
- 1
- 1
updated Jul 03, 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
Generate oracle skeletons from the dot

verimag/synchrone/sasa#10 · created Jun 25, 2019 by erwan
- CLOSED
- 1
updated Jun 25, 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
Add weights to graphs

verimag/synchrone/sasa#8 · created Jun 21, 2019 by erwan
- CLOSED
- 1
- 0
updated Jul 12, 2019
Process should have acess to their identity

verimag/synchrone/sasa#7 · created May 29, 2019 by erwan
- CLOSED
- 1
- 1
updated Jun 21, 2019
enum constants don't work in -exec mode

verimag/synchrone/lustre-v6#7 · created May 22, 2019 by erwan
- CLOSED
- 1
updated May 22, 2019
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

Prev
1
2
Next