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: 2429793) | patch

author	Paul Bédaride <paul.bedaride@gmail.com>
	Mon, 17 Dec 2012 16:20:27 +0000 (17:20 +0100)
committer	Paul Bédaride <paul.bedaride@gmail.com>
	Mon, 17 Dec 2012 16:20:27 +0000 (17:20 +0100)
commit	17a9f17337b1d6743025cf52e7c19a469138d38f
tree	ddc95641facafe7053823c5044f0795b2c515f0a	tree \| snapshot
parent	24297936443eb968a6f4733731a2e01c67bdfcc5	commit \| diff

Restructure config headers

14 files changed:

buildtools/Cmake/DefinePackages.cmake		diff \| blob \| history
src/include/instr/instr_interface.h	[new file with mode: 0644]	blob
src/include/mc/mc.h		diff \| blob \| history
src/include/simgrid/sg_config.h		diff \| blob \| history
src/include/surf/surf.h		diff \| blob \| history
src/instr/instr_private.h		diff \| blob \| history
src/mc/mc_checkpoint.c		diff \| blob \| history
src/mc/mc_dpor.c		diff \| blob \| history
src/mc/mc_global.c		diff \| blob \| history
src/mc/mc_liveness.c		diff \| blob \| history
src/mc/mc_private.h		diff \| blob \| history
src/mc/mc_request.c		diff \| blob \| history
src/simgrid/sg_config.c		diff \| blob \| history
src/surf/surf_private.h		diff \| blob \| history

Clone of SimGrid repository with local patches