Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cosmetics reindent
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 25 Jun 2012 05:57:20 +0000 (07:57 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 26 Jun 2012 09:00:05 +0000 (11:00 +0200)
commit16b355b54e4835a696afb1609159de9108714536
tree811c7b025517f9470598a9fd571f308aeeb0ecdf
parentefbed576e8092f3d5b49f9f8da0d37363b2b6b3b
model-checker : cosmetics reindent
examples/msg/mc/centralized_liveness.c