Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6efc4db) | patch
Bugfix: initialize the model checker memory subsystem after parsing the configuration
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Sat, 8 May 2010 14:29:22 +0000 (14:29 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Sat, 8 May 2010 14:29:22 +0000 (14:29 +0000)
commit900cb23da16eeaad345fd16101f2ea986f2706bd
treefa581014dbe100ebf4583e8d407fed69b476383atree | snapshot
parent6efc4db71d869ae5af39d17eeeff2a615aba3ccfcommit | diff
Bugfix: initialize the model checker memory subsystem after parsing the configuration

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7724 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/surf/surf.c diff | blob | history
Clone of SimGrid repository with local patches