AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

projects / simgrid.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: c00d9de) | patch

author	Gabriel Corona <gabriel.corona@loria.fr>
	Mon, 11 Apr 2016 08:55:31 +0000 (10:55 +0200)
committer	Gabriel Corona <gabriel.corona@loria.fr>
	Mon, 11 Apr 2016 09:58:27 +0000 (11:58 +0200)
commit	639e88c95c355661b56405f608d54c27d24ac7c5
tree	3d6560e30b046d4b6513b5a97d5922c4732b4771	tree \| snapshot
parent	c00d9de77c55596919956e198769dee003776c71	commit \| diff

[mc] Rename RecordTraceElement as Transition and use it to represent a transition

12 files changed:

src/mc/CommunicationDeterminismChecker.cpp		diff \| blob \| history
src/mc/LivenessChecker.cpp		diff \| blob \| history
src/mc/ModelChecker.cpp		diff \| blob \| history
src/mc/ModelChecker.hpp		diff \| blob \| history
src/mc/SafetyChecker.cpp		diff \| blob \| history
src/mc/Transition.hpp	[new file with mode: 0644]	blob
src/mc/mc_global.cpp		diff \| blob \| history
src/mc/mc_record.cpp		diff \| blob \| history
src/mc/mc_record.h		diff \| blob \| history
src/mc/mc_state.cpp		diff \| blob \| history
src/mc/mc_state.h		diff \| blob \| history
tools/cmake/DefinePackages.cmake		diff \| blob \| history

Clone of SimGrid repository with local patches