Issues · verimag / synchrone / sasa · GitLab

Add options to prevent algo to access to forbidden information

#6 · created May 19, 2019 by erwan
- 1
- 1
updated Jul 27, 2021
Sasa does not stop execution on the first legitimate state on unison

#23 · created Aug 04, 2021 by Gwennan Eliezer
- 0
updated Aug 04, 2021
Sasa can stack overflow in the toy example sum

#22 · created Aug 02, 2021 by Gwennan Eliezer
- 0
updated Aug 02, 2021
Sasa does not check if trigger is enabled

#21 · created Jul 30, 2021 by Gwennan Eliezer
- 0
updated Jul 30, 2021
Change the graph created by "gg BA" on the m0 first nodes.

#14 · created Jul 12, 2019 by Gwennan Eliezer To Do
- 0
updated Jul 12, 2019
Allow the simulation to have inputs

#5 · created May 17, 2019 by erwan
- 3
updated Jul 03, 2019
The generated synchronous Lutin demon is wrong

#2 · created May 17, 2019 by erwan To Do todo
- 0
updated Jul 03, 2019
Generate a Lutin node implementing a central demon

#1 · created May 17, 2019 by erwan To Do todo
- 0
updated Jun 20, 2019