Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix the MC wrt the simgrid::Host modification
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 15 Dec 2015 14:46:58 +0000 (15:46 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 16 Dec 2015 10:55:57 +0000 (11:55 +0100)
commitad0cb80ebff7603232ec1621d9b6cfa1ea3471f6
treea1fab92375cb6ab991f0b854929b41fb050c95f6
parentf7005fe1bcd207eed0fb8eef4d2cc9a6457aa74b
[mc] Fix the MC wrt the simgrid::Host modification
include/simgrid/Host.hpp
include/xbt/string.hpp [new file with mode: 0644]
src/mc/ModelChecker.cpp
src/mc/mc_smx.cpp
src/simgrid/host.cpp
src/xbt/string.cpp [new file with mode: 0644]
tools/cmake/DefinePackages.cmake