Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Make s_local_variable::name a std::string
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 8 Jun 2015 11:12:31 +0000 (13:12 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 9 Jun 2015 08:20:44 +0000 (10:20 +0200)
commit7f80c96356063a741966f244c8d00eaaf6f17fc0
tree1f44483be4c7e23e65a0c914ee40381cffd5dd95
parentc40ad14d15a23201f68728e1ced86dccafffa2c0
[mc] Make s_local_variable::name a std::string
src/mc/mc_checkpoint.cpp
src/mc/mc_compare.cpp
src/mc/mc_snapshot.h