Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Modernize simcall cond_wait.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 13 Mar 2021 21:25:04 +0000 (22:25 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 13 Mar 2021 21:25:04 +0000 (22:25 +0100)
commit62c07d4306a42be1ed34494a37603bb6dd27a98b
tree0680143579078a9d72a4b40bf86d64f5b5b15a7c
parent5954596b70db131a1a1ce5d8580ba32687066e34
Modernize simcall cond_wait.
12 files changed:
include/simgrid/simix.h
src/kernel/activity/ConditionVariableImpl.cpp
src/mc/checker/SimcallObserver.cpp
src/mc/checker/SimcallObserver.hpp
src/mc/mc_base.cpp
src/s4u/s4u_ConditionVariable.cpp
src/simix/libsmx.cpp
src/simix/popping_accessors.hpp
src/simix/popping_bodies.cpp
src/simix/popping_enum.hpp
src/simix/popping_generated.cpp
src/simix/simcalls.in