Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] s/NULL/nullptr/
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 26 Feb 2016 13:23:19 +0000 (14:23 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 26 Feb 2016 14:19:22 +0000 (15:19 +0100)
commit20bbf9b0608d4ab29fb25ab4f795001d0cdca5b5
treebde1a18f386c101104645239f462bc9b08e2631e
parent20725839bfdac54bf58497e0c34705ba37f19265
[mc] s/NULL/nullptr/
26 files changed:
src/mc/ModelChecker.hpp
src/mc/ObjectInformation.cpp
src/mc/PageStore.cpp
src/mc/Process.cpp
src/mc/RegionSnapshot.cpp
src/mc/mc_base.cpp
src/mc/mc_checkpoint.cpp
src/mc/mc_client.cpp
src/mc/mc_comm_determinism.cpp
src/mc/mc_comm_pattern.cpp
src/mc/mc_compare.cpp
src/mc/mc_config.cpp
src/mc/mc_diff.cpp
src/mc/mc_dwarf.cpp
src/mc/mc_global.cpp
src/mc/mc_liveness.cpp
src/mc/mc_member.cpp
src/mc/mc_pair.cpp
src/mc/mc_request.cpp
src/mc/mc_safety.cpp
src/mc/mc_smx.cpp
src/mc/mc_snapshot.cpp
src/mc/mc_state.cpp
src/mc/mc_unw.cpp
src/mc/mc_visited.cpp
src/mc/simgrid_mc.cpp