Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
obey our coding standards, and snake_case some parts of MC
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 13 Aug 2019 09:47:52 +0000 (11:47 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 15 Aug 2019 13:37:41 +0000 (15:37 +0200)
commitb8dc7c0693d2606e9cb9f21bcced90a5174bd503
tree3fd377bc9f296b5ebe54c40bec1d89a331085d72
parentd2cc5a5e537a7b2915f781dd75ad8f4d02f6fcf7
obey our coding standards, and snake_case some parts of MC
31 files changed:
src/kernel/activity/ActivityImpl.cpp
src/kernel/activity/CommImpl.cpp
src/kernel/activity/ConditionVariableImpl.cpp
src/kernel/activity/ExecImpl.cpp
src/kernel/activity/IoImpl.cpp
src/kernel/activity/MutexImpl.cpp
src/kernel/activity/SemaphoreImpl.cpp
src/kernel/activity/SleepImpl.cpp
src/kernel/activity/SynchroRaw.cpp
src/kernel/actor/ActorImpl.cpp
src/mc/ModelChecker.cpp
src/mc/Transition.hpp
src/mc/VisitedState.cpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_base.cpp
src/mc/mc_comm_pattern.cpp
src/mc/mc_comm_pattern.hpp
src/mc/mc_record.cpp
src/mc/mc_request.cpp
src/mc/mc_smx.cpp
src/mc/mc_state.cpp
src/mc/mc_state.hpp
src/simix/libsmx.cpp
src/simix/popping_accessors.hpp
src/simix/popping_bodies.cpp
src/simix/popping_generated.cpp
src/simix/popping_private.hpp
src/simix/smx_global.cpp
src/smpi/plugins/sampi_loadbalancer.cpp