AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

author	Martin Quinson <martin.quinson@loria.fr>
	Sun, 8 Jan 2017 16:48:07 +0000 (17:48 +0100)
committer	Martin Quinson <martin.quinson@loria.fr>
	Sun, 8 Jan 2017 16:48:17 +0000 (17:48 +0100)
commit	07483e97b12350d1d293f19689575f0fbdcf0246
tree	2b336389b6771c011f6e188f64d9eb8fed9b3b7d	tree \| snapshot
parent	fe0d61c5bb296dd96c800a7d84d437246fdb1fca	commit \| diff

smx processes are now called actors, avoiding confusions in MC

the process->actor renaming comes from S4U, but this is really welcome
in the model checker, as Process is also the proxy of the MCed on the
MCer side.

18 files changed:

src/mc/Client.cpp		diff \| blob \| history
src/mc/CommunicationDeterminismChecker.cpp		diff \| blob \| history
src/mc/LivenessChecker.cpp		diff \| blob \| history
src/mc/LivenessChecker.hpp		diff \| blob \| history
src/mc/Process.cpp		diff \| blob \| history
src/mc/Process.hpp		diff \| blob \| history
src/mc/SafetyChecker.cpp		diff \| blob \| history
src/mc/VisitedState.cpp		diff \| blob \| history
src/mc/VisitedState.hpp		diff \| blob \| history
src/mc/mc_base.cpp		diff \| blob \| history
src/mc/mc_checkpoint.cpp		diff \| blob \| history
src/mc/mc_forward.hpp		diff \| blob \| history
src/mc/mc_private.h		diff \| blob \| history
src/mc/mc_request.cpp		diff \| blob \| history
src/mc/mc_request.h		diff \| blob \| history
src/mc/mc_smx.cpp		diff \| blob \| history
src/mc/mc_smx.h		diff \| blob \| history
src/mc/mc_state.cpp		diff \| blob \| history

Clone of SimGrid repository with local patches

RSS Atom