Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
détection de cycle d'acceptation ok mais boucle infinie en cas d'absence de cycle
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 29 Apr 2011 08:31:48 +0000 (10:31 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:55 +0000 (13:36 +0200)
commita919469a2cba34e8d082b652f03b33182d27fa5d
treeca2937660f120458b61ac69d47ddc875e827a098
parent23a620e6c6df0a9023991f607cb93b71ed8f6065
détection de cycle d'acceptation ok mais boucle infinie en cas d'absence de cycle
examples/msg/mc/example_automaton.c
src/mc/mc_dfs.c
src/mc/mc_global.c
src/mc/private.h