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
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
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
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
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
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
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

Prev
1
2
Next