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

author	Martin Quinson <martin.quinson@loria.fr>
	Thu, 21 Jun 2012 15:17:50 +0000 (17:17 +0200)
committer	Martin Quinson <martin.quinson@loria.fr>
	Thu, 21 Jun 2012 15:19:01 +0000 (17:19 +0200)
commit	be647c10d0b1d760b036f1205f314002637d9876
tree	3ff7484da7415f1964ed38d9bbd2c7ec933fa445	tree \| snapshot
parent	a2e006ba859c6110478a89ba0cbd2babc5d15b6a	commit \| diff

Cleanups in the --cfg options regarding model-checking

plus, various internal cleanups. Also, we broke the liveness checking
for some obscure reason that we fail to see right now...

16 files changed:

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
include/simgrid/modelchecker.h		diff \| blob \| history
src/include/mc/mc.h		diff \| blob \| history
src/mc/mc_dpor.c		diff \| blob \| history
src/mc/mc_global.c		diff \| blob \| history
src/mc/mc_private.h		diff \| blob \| history
src/mc/mc_request.c		diff \| blob \| history
src/msg/msg_global.c		diff \| blob \| history
src/surf/surf_config.c		diff \| blob \| history
src/xbt/xbt_main.c		diff \| blob \| history

Clone of SimGrid repository with local patches