AND Public Git Repository - simgrid.git/commit

author	Marion Guthmuller <marion.guthmuller@loria.fr>
	Wed, 13 Jun 2012 09:19:24 +0000 (11:19 +0200)
committer	Marion Guthmuller <marion.guthmuller@loria.fr>
	Wed, 13 Jun 2012 09:19:24 +0000 (11:19 +0200)
commit	324ed35d0489e7df64745a022a3d426ff227fba2
tree	da7402c5eacdaf49ae28112c6efdc2fb82691790	tree \| snapshot
parent	f816b895e4b1219c3dcd0443a55ef90690a849ef	commit \| diff

model-checker : remove binary name as argument of some functions, available with xbt_binary_name

Clone of SimGrid repository with local patches

examples/msg/mc/bugged1_for_liveness.c		diff \| blob \| history
examples/msg/mc/bugged1_while_liveness.c		diff \| blob \| history
examples/msg/mc/bugged2_liveness.c		diff \| blob \| history
examples/msg/mc/centralized_liveness.c		diff \| blob \| history
examples/msg/mc/centralized_liveness_deadlock.c		diff \| blob \| history
examples/msg/mc/test_snapshot.c		diff \| blob \| history
include/msg/msg.h		diff \| blob \| history
src/include/mc/mc.h		diff \| blob \| history
src/mc/mc_checkpoint.c		diff \| blob \| history
src/mc/mc_global.c		diff \| blob \| history
src/msg/msg_global.c		diff \| blob \| history