-
erwan authoredIndeed, by using the Env.nset and Env.nget defined in 0d6575a7 a pb that was hided by the use of Env.set and Env.get was triggered. The bug was that variables initialisations were done several times. In sasa.ml, the way I was updating the Env.t by iterating on the variables was forcing to "close" expressions that were calling init functions.
erwan authoredIndeed, by using the Env.nset and Env.nget defined in 0d6575a7 a pb that was hided by the use of Env.set and Env.get was triggered. The bug was that variables initialisations were done several times. In sasa.ml, the way I was updating the Env.t by iterating on the variables was forcing to "close" expressions that were calling init functions.
README.md 1.00 KiB
Algos from the book
This directory contains various examples of self-stabilizing distributed programs taken from the book ``Introduction to Distributed Self-Stabilizing Algorithms'' By Altisen, Devismes, Dubois, and Petit.
- : Bread-first-search spanning tree
- : graph coloring
- : Dijkstra token ring
- :
Depth First search
-
contains an ``atomic state model'' version of a
Depth First Search algorithm proposed by Collin and Dolev in 1994
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.57.1100&rep=rep1&type=pdf
rdbg
The following illustrate some possible use of sasa with rdbg on the examples above
- <my-rdbg-tuning.ml>
- <rdbg-utils/dot.ml>