Merge branch 'dev' into 'master'

Minimal changes to support hosts on/off

See merge request simgrid/simgrid!77

diff --cc src/kernel/activity/CommImpl.cpp
Simple merge

diff --cc src/kernel/activity/MailboxImpl.cpp
Simple merge

diff --cc src/kernel/activity/MailboxImpl.hpp
index b9c1214,21a8c45..541283e
--- 1/src/kernel/activity/MailboxImpl.hpp
--- 2/src/kernel/activity/MailboxImpl.hpp
+++ b/src/kernel/activity/MailboxImpl.hpp
@@@ -52,8 -54,9 +54,9 @@@ public
    void push(CommImplPtr comm);
    void push_done(CommImplPtr done_comm) { done_comm_queue_.push_back(done_comm); }
    void remove(const CommImplPtr& comm);
+   void clear();
    CommImplPtr iprobe(int type, bool (*match_fun)(void*, void*, CommImpl*), void* data);
 -  CommImplPtr find_matching_comm(CommImpl::Type type, bool (*match_fun)(void*, void*, CommImpl*), void* this_user_data,
 +  CommImplPtr find_matching_comm(CommImplType type, bool (*match_fun)(void*, void*, CommImpl*), void* this_user_data,
                                   const CommImplPtr& my_synchro, bool done, bool remove_matching);
    bool is_permanent() const { return permanent_receiver_ != nullptr; }
    actor::ActorImplPtr get_permanent_receiver() const { return permanent_receiver_; }