Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
get_maxpid() and take_snapshot() in mc_api
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 16 Nov 2020 17:40:34 +0000 (18:40 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 16 Nov 2020 17:40:34 +0000 (18:40 +0100)
commite717aac07363de43fcc74fa033767bb3c4acd25c
tree5386f0a25be5b4f2a1b7252199d5e15db7328f46
parent178d93b55be5105559c7b8277838b44944e3ad8c
get_maxpid() and take_snapshot() in mc_api
src/mc/mc_api.cpp
src/mc/mc_api.hpp
src/mc/mc_state.cpp