Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add ignore mechanism for global variables (data + bss segments) in...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 11 Nov 2012 17:47:30 +0000 (18:47 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 11 Nov 2012 17:47:30 +0000 (18:47 +0100)
commit23f5bf52cc58cf837840f231cf638e9fcd45097b
tree98a331ceb01d0fa6dff70db1d76cd52efe718db1
parent2856679722f2a932bcdd28f50776353829a61576
model-checker : add ignore mechanism for global variables (data + bss segments) in libsimgrid
src/include/mc/datatypes.h
src/include/mc/mc.h
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_global.c
src/mc/mc_private.h
src/simix/smx_network.c