AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

author	Gabriel Corona <gabriel.corona@loria.fr>
	Fri, 17 Apr 2015 12:02:45 +0000 (14:02 +0200)
committer	Gabriel Corona <gabriel.corona@loria.fr>
	Fri, 17 Apr 2015 12:19:07 +0000 (14:19 +0200)
commit	26af220e017a088b56105b2f21fadecf7d6e2a88
tree	43d218e3386f7ba0a6d2b640b29ba5c106804e15	tree \| snapshot
parent	4afde5a12341a68569e8c15d06a799d3b26338e9	commit \| diff

[mc] C++ class ModelChecker

34 files changed:

buildtools/Cmake/DefinePackages.cmake		diff \| blob \| history
src/mc/ModelChecker.cpp	[new file with mode: 0644]	blob
src/mc/ModelChecker.hpp	[moved from src/mc/mc_model_checker.h with 52% similarity]	diff \| blob \| history
src/mc/mc_base.cpp		diff \| blob \| history
src/mc/mc_checkpoint.cpp		diff \| blob \| history
src/mc/mc_client.cpp		diff \| blob \| history
src/mc/mc_client_api.cpp		diff \| blob \| history
src/mc/mc_comm_determinism.cpp		diff \| blob \| history
src/mc/mc_comm_pattern.cpp		diff \| blob \| history
src/mc/mc_compare.cpp		diff \| blob \| history
src/mc/mc_diff.cpp		diff \| blob \| history
src/mc/mc_forward.h		diff \| blob \| history
src/mc/mc_global.cpp		diff \| blob \| history
src/mc/mc_hash.cpp		diff \| blob \| history
src/mc/mc_ignore.cpp		diff \| blob \| history
src/mc/mc_model_checker.cpp	[deleted file]	blob \| history
src/mc/mc_page_snapshot.cpp		diff \| blob \| history
src/mc/mc_private.h		diff \| blob \| history
src/mc/mc_process.h		diff \| blob \| history
src/mc/mc_record.cpp		diff \| blob \| history
src/mc/mc_request.cpp		diff \| blob \| history
src/mc/mc_server.cpp		diff \| blob \| history
src/mc/mc_smx.cpp		diff \| blob \| history
src/mc/mc_smx.h		diff \| blob \| history
src/mc/mc_snapshot.cpp		diff \| blob \| history
src/mc/mc_snapshot.h		diff \| blob \| history
src/mc/mc_state.cpp		diff \| blob \| history
src/mc/mc_visited.cpp		diff \| blob \| history
src/mc/simgrid_mc.cpp		diff \| blob \| history
src/simix/popping_generated.c		diff \| blob \| history
src/simix/simcalls.py		diff \| blob \| history
src/simix/smx_global.c		diff \| blob \| history
teshsuite/mc/dwarf/CMakeLists.txt		diff \| blob \| history
teshsuite/mc/dwarf/dwarf.cpp	[moved from teshsuite/mc/dwarf/dwarf.c with 94% similarity]	diff \| blob \| history

Clone of SimGrid repository with local patches

RSS Atom