Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use std::string in simgrid::mc::request_to_string
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 12:48:33 +0000 (14:48 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 14:32:44 +0000 (16:32 +0200)
commitaaa2d952c3f91042dc283f8dd4de9dd41b62e3ba
tree36f97fd82b574f8bcb3a54ba6c99cc69b32aa1e6
parentddc7703ca9a78d9a3cff396af9635206bf57ee84
[mc] Use std::string in simgrid::mc::request_to_string
include/xbt/string.hpp
src/mc/CommunicationDeterminismChecker.cpp
src/mc/LivenessChecker.cpp
src/mc/SafetyChecker.cpp
src/mc/mc_global.cpp
src/mc/mc_request.cpp
src/mc/mc_request.h
src/xbt/string.cpp