Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : New public functions to take a snapshot and compare two snapshots...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 19 Oct 2012 08:20:21 +0000 (10:20 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 27 Oct 2012 20:35:40 +0000 (22:35 +0200)
commit114948db2d558f1be1481dea89be75166201461f
tree5e0fa334117ce95c6657a6bb595467e08ffb80e7
parent652f5c53fc94cd105af2c2d46b10e7d19abdf274
model-checker : New public functions to take a snapshot and compare two snapshots from user application using new simcalls (simcall_mc_snapshot and simcall_mc_compare_snapshots)
include/simgrid/modelchecker.h
include/simgrid/simix.h
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_request.c
src/simix/smx_smurf.c
src/simix/smx_smurf_private.h
src/simix/smx_user.c