Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0bf082) | patch
Add the model-checker to the build tree. It's not used yet
authormquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 5 May 2010 23:15:21 +0000 (23:15 +0000)
committermquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 5 May 2010 23:15:21 +0000 (23:15 +0000)
commit199b029b33b5b9fbe1eacb50828914f3b38bde2f
tree4f1eb1dca3b3195b821dface04a0e959475f857dtree | snapshot
parentc0bf08270464302ec402873aed75a459b08e0a8ccommit | diff
Add the model-checker to the build tree. It's not used yet

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7701 48e7efb5-ca39-0410-a469-dd3cf9ba447f
12 files changed:
buildtools/Cmake/src/CMakeDefinePackages.txt diff | blob | history
src/Makefile.am diff | blob | history
src/mc/README [new file with mode: 0644] blob
src/mc/mc_checkpoint.c [new file with mode: 0644] blob
src/mc/mc_dfs.c [new file with mode: 0644] blob
src/mc/mc_dpor.c [new file with mode: 0644] blob
src/mc/mc_global.c [new file with mode: 0644] blob
src/mc/mc_memory.c [new file with mode: 0644] blob
src/mc/mc_transition.c [new file with mode: 0644] blob
src/mc/memory_map.c [new file with mode: 0644] blob
src/mc/private.h [new file with mode: 0644] blob
src/xbt/log.c diff | blob | history
Clone of SimGrid repository with local patches