Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cut some includes in MC
authorMartin Quinson <martin.quinson@loria.fr>
Thu, 21 Jun 2018 00:11:37 +0000 (02:11 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 23 Jun 2018 08:18:37 +0000 (10:18 +0200)
commit441436da649a1a42a336b3c371a22f84cdb851c0
tree8e0123f5a7afa77654bb22085d9eff6b635e0cb7
parent31aa2e604021df7cc297b4419b25cc5c087fd50b
cut some includes in MC
include/simgrid/modelchecker.h
src/mc/mc_replay.hpp
src/mc/remote/RemoteClient.hpp
src/mc/remote/RemotePtr.hpp
src/mc/remote/mc_protocol.h