Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Modernize simcall mutex_unlock.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 3 Mar 2021 14:40:35 +0000 (15:40 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 3 Mar 2021 17:02:14 +0000 (18:02 +0100)
commit6b3dd9b27c5fe2b1000b169b24e248be102a1d15
tree40e7a7a9ef98fb50da37c8f68ec33988bcbee416
parent826d6d69d99e2d0530922ed2bfe3cc7a7414f622
Modernize simcall mutex_unlock.
12 files changed:
include/simgrid/simix.h
src/kernel/activity/MutexImpl.cpp
src/mc/checker/SimcallInspector.cpp
src/mc/checker/SimcallInspector.hpp
src/mc/mc_base.cpp
src/s4u/s4u_Mutex.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