Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix process_time handling
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 13:48:08 +0000 (14:48 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 13:48:08 +0000 (14:48 +0100)
commit8124a6e953514591598498420b205dec1af7b7d1
treec9cd7b45ced37d25cbb8dc09ed7a3055175ddd64
parentc0b8222b84f1084085608ef4d3da724f7f3710e8
[mc] Fix process_time handling
src/mc/mc_global.cpp
src/mc/mc_liveness.cpp
src/mc/mc_record.cpp
src/mc/mc_record.h
src/simix/smx_global.cpp