Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new comparison for reached pairs (automaton state + values of proposi...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 21 Sep 2011 14:59:05 +0000 (16:59 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:58 +0000 (13:36 +0200)
commit0ddad0a8665a95e6f16b6f765efca789459a818d
tree3cfd9770a2d11beed5a48bf6ac38d99111adad27
parent41982e805766505052bbfc0f887ab4f9f1be560a
model-checker : new comparison for reached pairs (automaton state + values of propositional symbols + snapshot of system state)
examples/msg/mc/automaton.c
examples/msg/mc/automaton.h
examples/msg/mc/automatonparse_promela.c
examples/msg/mc/automatonparse_promela.h
include/xbt/automaton.h
src/mc/mc_liveness.c
src/mc/memory_map.c
src/mc/private.h
src/xbt/automaton.c