Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add local variables from xbt/ex.h in ignore mechanism for stacks...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 14:38:07 +0000 (15:38 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 15:59:31 +0000 (16:59 +0100)
commit96276d3834e5af1b4fc06a4c64c705108d5cd855
tree0c6191b0e1124222877aeb888bc58e55d39a1243
parent0685d3d3e78277471c94864a820056f01b74fb7c
model-checker : add local variables from xbt/ex.h in ignore mechanism for stacks comparison
src/msg/msg_gos.c
src/simix/smx_process.c