Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : function to compare values of propositional symbols fixed
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 14:44:25 +0000 (16:44 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 14:44:25 +0000 (16:44 +0200)
commitf88cea0e25ce1a9212c14b414322b882e796d72c
tree495ccaef937129b001c2fdd2ab1b7bbe3b1e6859
parent8ebfad14d820fc1220036ea6a6bb299d96e214f5
model-checker : function to compare values of propositional symbols fixed
examples/msg/mc/automaton.c
examples/msg/mc/automaton.h
include/xbt/automaton.h
src/mc/mc_liveness.c
src/xbt/automaton.c
src/xbt/mmalloc/mm_legacy.c