Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 660f48f) | patch
Initial FAQ section for using the model-checking mode.
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 17 May 2010 14:29:54 +0000 (14:29 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 17 May 2010 14:29:54 +0000 (14:29 +0000)
commite5ada3ddb334e4c38537badb9beb35e16cdbd630
tree3a828aca9fb41033c3060ed7bd07ea78a9f12713tree | snapshot
parent660f48f5f0bae09b01f06a40d44d81a8f1a1a153commit | diff
Initial FAQ section for using the model-checking mode.

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