Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove maestro stack from stack comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 6 Oct 2012 17:01:04 +0000 (19:01 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 6 Oct 2012 17:01:04 +0000 (19:01 +0200)
commitcf1a2c1e1319fec0974567e51be83e828ddfc7e4
tree88f402699252e8acd087ad4f48a0ea88c775d912
parent30ddf1eb571e00c6b6e9723d6dc69ce4632471cc
model-checker : remove maestro stack from stack comparison
src/mc/mc_compare.c
src/simix/smx_context_base.c