Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename the transitions so that asynchronous ones clearly appear so
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 16 Oct 2022 10:42:24 +0000 (12:42 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 16 Oct 2022 10:58:21 +0000 (12:58 +0200)
commit87ab6a5d123f0032675234e655f79dac2bc78beb
tree3404b6bed55e9763cd66a4400152dba7cd943869
parent12f5ef5e51b0c8ea123c629b9f545d753fba4071
Rename the transitions so that asynchronous ones clearly appear so
13 files changed:
examples/cpp/synchro-barrier/s4u-mc-synchro-barrier.tesh
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh
examples/cpp/synchro-semaphore/s4u-mc-synchro-semaphore.tesh
src/kernel/actor/CommObserver.cpp
src/kernel/actor/SynchroObserver.cpp
src/mc/explo/CommunicationDeterminismChecker.cpp
src/mc/transition/Transition.cpp
src/mc/transition/Transition.hpp
src/mc/transition/TransitionComm.cpp
src/mc/transition/TransitionSynchro.cpp
src/s4u/s4u_Barrier.cpp
src/s4u/s4u_Mutex.cpp
src/s4u/s4u_Semaphore.cpp