Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Handle simcall result through mc::SimcallObserver.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 22 Mar 2021 12:29:48 +0000 (13:29 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 22 Mar 2021 12:58:42 +0000 (13:58 +0100)
commit64a60fa58ca5dc30df8b2780c4901773f219d8ea
treec7e1dcbe817645e489205a821d0930c510b09cef
parentf2aaadd437ac30adad539d969164098b50cd2338
Handle simcall result through mc::SimcallObserver.

Get rid of simix::(un)marshal.
src/kernel/activity/ConditionVariableImpl.cpp
src/kernel/activity/ExecImpl.cpp
src/kernel/activity/SemaphoreImpl.cpp
src/mc/checker/SimcallObserver.hpp
src/s4u/s4u_ConditionVariable.cpp
src/s4u/s4u_Exec.cpp
src/s4u/s4u_Semaphore.cpp
src/simix/libsmx.cpp