Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 362b4db) | patch
kill duplicate definitions, and try to ensure that MC-ready code still works without...
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 8 Feb 2012 16:09:48 +0000 (17:09 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 8 Feb 2012 16:09:48 +0000 (17:09 +0100)
commit9b9d42cca1f785ac3335eb4fe61ac8ef71392ccd
treec377fabb458337b1781c04dd0296600d20c82900tree | snapshot
parent362b4dbfe18e585af36789119acafa5d5350fa20commit | diff
kill duplicate definitions, and try to ensure that MC-ready code still works without MC (closes #13813 on gforge)
include/simgrid/modelchecker.h diff | blob | history
src/include/mc/mc.h diff | blob | history
Clone of SimGrid repository with local patches