Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Enum class for MC call types, and MC comm pattern differences.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 18 Nov 2020 20:23:15 +0000 (21:23 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 25 Nov 2020 20:47:01 +0000 (21:47 +0100)
commit7d2fa9464dd72784b0e3fa18067cbec14edff31c
tree9e18cafb5663704b9ce9fd8d35cf368fd5f022f4
parentfd52ffa61dfc8d90d4a042240a3e389f0b86ca98
Enum class for MC call types, and MC comm pattern differences.
22 files changed:
doc/doxygen/inside_extending.doc
doc/doxygen/uhood_switch.doc
src/kernel/activity/CommImpl.cpp
src/kernel/activity/ConditionVariableImpl.cpp
src/kernel/activity/ExecImpl.cpp
src/kernel/activity/SynchroRaw.cpp
src/kernel/actor/ActorImpl.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_base.cpp
src/mc/mc_comm_pattern.hpp
src/mc/mc_record.cpp
src/mc/mc_request.cpp
src/mc/mc_state.cpp
src/mc/mc_state.hpp
src/simix/libsmx.cpp
src/simix/popping_bodies.cpp
src/simix/popping_enum.hpp
src/simix/popping_generated.cpp
src/simix/popping_private.hpp
src/simix/simcalls.py
src/simix/smx_global.cpp