Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 614a9d1) | patch
model-checker : use a global timer for snapshot comparison times, define macros inste...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 14 Jan 2013 11:17:10 +0000 (12:17 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 14 Jan 2013 11:20:25 +0000 (12:20 +0100)
commitee64b03734cc22f81bd0f067f9be724b46f36e9e
treef01837feccc92cca7734d0e060964ce225b6d72dtree | snapshot
parent614a9d1249ea6287562890365fc68f261776df79commit | diff
model-checker : use a global timer for snapshot comparison times, define macros instead of if(XBT_LOG_ISENABLED) and add informations used for comparison (regions types, stacks sizes) in snapshot structure
src/mc/mc_checkpoint.c diff | blob | history
src/mc/mc_compare.c diff | blob | history
src/mc/mc_dpor.c diff | blob | history
src/mc/mc_global.c diff | blob | history
src/mc/mc_liveness.c diff | blob | history
src/mc/mc_private.h diff | blob | history
Clone of SimGrid repository with local patches