Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : move struct s_smx_ctx_sysv in smx_private.h, needed for stacks comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 29 Sep 2012 19:58:20 +0000 (21:58 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 17:19:15 +0000 (19:19 +0200)
commit5f69a2d25e1b7ad06dac0ab478a7047eebc8eab1
treea91bbc8406cca9134ba4dddf77dc9b3cb86e345c
parent684199641c75ec4ee775b8dda71982e8fe6d3fb8
model-checker : move struct s_smx_ctx_sysv in smx_private.h, needed for stacks comparison
src/simix/smx_context_sysv.c
src/simix/smx_private.h