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

Lustre versus C valid identifiers

verimag/synchrone/lustre-v6#1 · created Apr 25, 2018 by erwan
- 0
updated Apr 25, 2018
Wrong line number in error msg when instanciating a node

verimag/synchrone/lustre-v6#2 · created Apr 25, 2018 by erwan
- 0
updated Apr 25, 2018
Issue an error instead of generating incorrect ec code for extern nodes

verimag/synchrone/lustre-v6#3 · created Apr 25, 2018 by erwan
- 0
updated Apr 25, 2018
Bad package name is given to instanciated parametric nodes

verimag/synchrone/lustre-v6#4 · created Apr 25, 2018 by erwan
- 0
updated Apr 25, 2018
Slice in lhs are not supported in the C code generator

verimag/synchrone/lustre-v6#5 · created Apr 25, 2018 by erwan
- 0
updated Apr 25, 2018
rdbg-batch --sut-stdio "lutin -rif heater.lut" raises an RifIO.Reset

verimag/synchrone/lutin#1 · created Jan 30, 2019 by erwan
- 0
updated Jan 30, 2019
Generate a Lutin node implementing a central demon

verimag/synchrone/sasa#1 · created May 17, 2019 by erwan To Do todo
- 0
updated Jun 20, 2019
The generated synchronous Lutin demon is wrong

verimag/synchrone/sasa#2 · created May 17, 2019 by erwan To Do todo
- 0
updated Jul 03, 2019
Allow the simulation to have inputs

verimag/synchrone/sasa#5 · created May 17, 2019 by erwan
- 3
updated Jul 03, 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
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
Regression tests against develop

verimag/synchrone/mia#1 · created Aug 01, 2019 by Matheus Schuh
- 0
updated Jan 27, 2020
Cleaning code

verimag/tempo/multidimensional_search#1 · created Aug 20, 2020 by EXT José Ignacio Requeno Jarabo
- 1
updated Oct 30, 2020
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