Issues · verimag / synchrone / sasa

New issue

Compare and Contrast Essay - An Ultimate Writing Guide - 2021 Guide

#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

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

#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

#19 · created Jul 26, 2021 by Gwennan Eliezer
- CLOSED
- 1
- 5
updated Jul 31, 2021
Fonction `rev_cond_gen` manquante

#18 · created Jun 23, 2021 by Gwennan Eliezer
- CLOSED
- 4
updated Jul 27, 2021
Sasa does not recognise ./ as current dir

#17 · created Jun 03, 2021 by Gwennan Eliezer
- CLOSED
- 1
updated Jul 27, 2021
Drive rdbg tests in a more portable way

#16 · created Feb 09, 2021 by Gabriel B. Sant'Anna Doing
- CLOSED
- 1
- 1
updated Mar 03, 2021
Make the diameter() return None when the graph is not connected

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

#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

#13 · created Jul 04, 2019 by erwan
- CLOSED
- 0
updated Apr 14, 2020
Add a get_graph_attributes function to the sasa API

#12 · created Jul 02, 2019 by erwan
- CLOSED
- 1
- 1
updated Jul 03, 2019
Add Lustre oracles to all examples of the test directory

#11 · created Jul 01, 2019 by erwan
- CLOSED
- 1
- 1
updated Jul 08, 2019
Generate oracle skeletons from the dot

#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

#9 · created Jun 21, 2019 by erwan
- CLOSED
- 1
- 1
- 0
updated Jul 12, 2019
Add weights to graphs

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

#7 · created May 29, 2019 by erwan
- CLOSED
- 1
- 1
updated Jun 21, 2019
Add options to prevent algo to access to forbidden information

#6 · created May 19, 2019 by erwan
- 1
- 1
updated Jul 27, 2021
Allow the simulation to have inputs

#5 · created May 17, 2019 by erwan
- 3
updated Jul 03, 2019