Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: rename processes to actors
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 13 Aug 2019 10:02:53 +0000 (12:02 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 15 Aug 2019 13:37:41 +0000 (15:37 +0200)
commitc4010c537a44b1fb18079401a3635821c86e6fcf
tree13fc3f80f1fabb81410b00698cbdc89c030c9699
parentb8dc7c0693d2606e9cb9f21bcced90a5174bd503
MC: rename processes to actors
src/mc/mc_state.cpp
src/mc/mc_state.hpp