Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Update script for mac
authorpierre <pierre@chontal.imag.fr>
Fri, 25 May 2012 14:23:43 +0000 (16:23 +0200)
committerpierre <pierre@chontal.imag.fr>
Fri, 25 May 2012 14:23:43 +0000 (16:23 +0200)
buildtools/Cmake/SimGrid.packproj
doc/webcruft/SGicon.icns [new file with mode: 0644]
doc/webcruft/simgrid_logo_2011.gif [new file with mode: 0644]

index f2bf1c3..0f53799 100644 (file)
@@ -17,7 +17,7 @@
                                        <key>Mode</key>
                                        <integer>1</integer>
                                        <key>Path</key>
-                                       <string>/Users/pierre/Desktop/simgrid/doc/webcruft/simgrid_logo_2011.gif</string>
+                                       <string>/Users/pierre/Desktop/simgrid-git/doc/webcruft/simgrid_logo_2011.gif</string>
                                        <key>Path Type</key>
                                        <integer>1</integer>
                                </dict>
@@ -26,9 +26,9 @@
                                        <key>International</key>
                                        <dict>
                                                <key>Mode</key>
-                                               <integer>1</integer>
+                                               <integer>0</integer>
                                                <key>Path</key>
-                                               <string>/Users/pierre/Desktop/Pack-SimGrid/SimGrid/LICENSE-LGPL-2.1.txt</string>
+                                               <string>/Users/pierre/Desktop/simgrid-git/LICENSE-LGPL-2.1</string>
                                                <key>Path Type</key>
                                                <integer>1</integer>
                                        </dict>
@@ -38,9 +38,9 @@
                                        <key>International</key>
                                        <dict>
                                                <key>Mode</key>
-                                               <integer>1</integer>
+                                               <integer>0</integer>
                                                <key>Path</key>
-                                               <string>/Users/pierre/Desktop/Pack-SimGrid/SimGrid/README.txt</string>
+                                               <string>/Users/pierre/Desktop/simgrid-git/README</string>
                                                <key>Path Type</key>
                                                <integer>1</integer>
                                        </dict>
                                                        <array>
                                                                <dict>
                                                                        <key>Children</key>
-                                                                       <array>
-                                                                               <dict>
-                                                                                       <key>Children</key>
-                                                                                       <array>
-                                                                                               <dict>
-                                                                                                       <key>Children</key>
-                                                                                                       <array/>
-                                                                                                       <key>GID</key>
-                                                                                                       <integer>80</integer>
-                                                                                                       <key>Path</key>
-                                                                                                       <string>/Users/pierre/Desktop/simgrid/build/bin/colorize</string>
-                                                                                                       <key>Path Type</key>
-                                                                                                       <integer>1</integer>
-                                                                                                       <key>Privileges</key>
-                                                                                                       <integer>493</integer>
-                                                                                                       <key>Type</key>
-                                                                                                       <integer>3</integer>
-                                                                                                       <key>UID</key>
-                                                                                                       <integer>0</integer>
-                                                                                               </dict>
-                                                                                               <dict>
-                                                                                                       <key>Children</key>
-                                                                                                       <array/>
-                                                                                                       <key>GID</key>
-                                                                                                       <integer>80</integer>
-                                                                                                       <key>Path</key>
-                                                                                                       <string>/Users/pierre/Desktop/simgrid/build/bin/graphicator</string>
-                                                                                                       <key>Path Type</key>
-                                                                                                       <integer>1</integer>
-                                                                                                       <key>Privileges</key>
-                                                                                                       <integer>493</integer>
-                                                                                                       <key>Type</key>
-                                                                                                       <integer>3</integer>
-                                                                                                       <key>UID</key>
-                                                                                                       <integer>0</integer>
-                                                                                               </dict>
-                                                                                               <dict>
-                                                                                                       <key>Children</key>
-                                                                                                       <array/>
-                                                                                                       <key>GID</key>
-                                                                                                       <integer>80</integer>
-                                                                                                       <key>Path</key>
-                                                                                                       <string>/Users/pierre/Desktop/simgrid/build/bin/gras_stub_generator</string>
-                                                                                                       <key>Path Type</key>
-                                                                                                       <integer>1</integer>
-                                                                                                       <key>Privileges</key>
-                                                                                                       <integer>493</integer>
-                                                                                                       <key>Type</key>
-                                                                                                       <integer>3</integer>
-                                                                                                       <key>UID</key>
-                                                                                                       <integer>0</integer>
-                                                                                               </dict>
-                                                                                               <dict>
-                                                                                                       <key>Children</key>
-                                                                                                       <array/>
-                                                                                                       <key>GID</key>
-                                                                                                       <integer>80</integer>
-                                                                                                       <key>Path</key>
-                                                                                                       <string>/Users/pierre/Desktop/simgrid/build/bin/simgrid_update_xml</string>
-                                                                                                       <key>Path Type</key>
-                                                                                                       <integer>1</integer>
-                                                                                                       <key>Privileges</key>
-                                                                                                       <integer>493</integer>
-                                                                                                       <key>Type</key>
-                                                                                                       <integer>3</integer>
-                                                                                                       <key>UID</key>
-                                                                                                       <integer>0</integer>
-                                                                                               </dict>
-                                                                                               <dict>
-                                                                                                       <key>Children</key>
-                                                                                                       <array/>
-                                                                                                       <key>GID</key>
-                                                                                                       <integer>80</integer>
-                                                                                                       <key>Path</key>
-                                                                                                       <string>/Users/pierre/Desktop/simgrid/build/bin/struct_diff</string>
-                                                                                                       <key>Path Type</key>
-                                                                                                       <integer>1</integer>
-                                                                                                       <key>Privileges</key>
-                                                                                                       <integer>493</integer>
-                                                                                                       <key>Type</key>
-                                                                                                       <integer>3</integer>
-                                                                                                       <key>UID</key>
-                                                                                                       <integer>0</integer>
-                                                                                               </dict>
-                                                                                               <dict>
-                                                                                                       <key>Children</key>
-                                                                                                       <array/>
-                                                                                                       <key>GID</key>
-                                                                                                       <integer>80</integer>
-                                                                                                       <key>Path</key>
-                                                                                                       <string>/Users/pierre/Desktop/simgrid/build/bin/tesh</string>
-                                                                                                       <key>Path Type</key>
-                                                                                                       <integer>1</integer>
-                                                                                                       <key>Privileges</key>
-                                                                                                       <integer>493</integer>
-                                                                                                       <key>Type</key>
-                                                                                                       <integer>3</integer>
-                                                                                                       <key>UID</key>
-                                                                                                       <integer>0</integer>
-                                                                                               </dict>
-                                                                                       </array>
-                                                                                       <key>Expanded</key>
-                                                                                       <true/>
-                                                                                       <key>GID</key>
-                                                                                       <integer>80</integer>
-                                                                                       <key>Path</key>
-                                                                                       <string>/Users/pierre/Desktop/simgrid/build/bin</string>
-                                                                                       <key>Path Type</key>
-                                                                                       <integer>1</integer>
-                                                                                       <key>Privileges</key>
-                                                                                       <integer>493</integer>
-                                                                                       <key>Type</key>
-                                                                                       <integer>3</integer>
-                                                                                       <key>UID</key>
-                                                                                       <integer>0</integer>
-                                                                               </dict>
-                                                                               <dict>
-                                                                                       <key>Children</key>
-                                                                                       <array/>
-                                                                                       <key>GID</key>
-                                                                                       <integer>20</integer>
-                                                                                       <key>Path</key>
-                                                                                       <string>/Users/pierre/Desktop/simgrid/COPYING</string>
-                                                                                       <key>Path Type</key>
-                                                                                       <integer>1</integer>
-                                                                                       <key>Privileges</key>
-                                                                                       <integer>420</integer>
-                                                                                       <key>Type</key>
-                                                                                       <integer>3</integer>
-                                                                                       <key>UID</key>
-                                                                                       <integer>506</integer>
-                                                                               </dict>
-                                                                               <dict>
-                                                                                       <key>Children</key>
-                                                                                       <array>
-                                                                                               <dict>
-                                                                                                       <key>Children</key>
-                                                                                                       <array>
-                                                                                                               <dict>
-                                                                                                                       <key>Children</key>
-                                                                                                                       <array>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/alnem/alnem.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/alnem/alnem_builder.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/alnem/alnem_deployment.txt</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/alnem/deploy_WAN3.txt</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/alnem/interference.dat</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                       </array>
-                                                                                                                       <key>Expanded</key>
-                                                                                                                       <true/>
-                                                                                                                       <key>GID</key>
-                                                                                                                       <integer>80</integer>
-                                                                                                                       <key>Path</key>
-                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/alnem</string>
-                                                                                                                       <key>Path Type</key>
-                                                                                                                       <integer>1</integer>
-                                                                                                                       <key>Privileges</key>
-                                                                                                                       <integer>493</integer>
-                                                                                                                       <key>Type</key>
-                                                                                                                       <integer>3</integer>
-                                                                                                                       <key>UID</key>
-                                                                                                                       <integer>0</integer>
-                                                                                                               </dict>
-                                                                                                               <dict>
-                                                                                                                       <key>Children</key>
-                                                                                                                       <array>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/bandwidth/bandwidth.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/bandwidth/bandwidth.xml</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/bandwidth/bandwidth_rl.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>493</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/bandwidth/bandwidth_sg_32.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/bandwidth/bandwidth_sg_64.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/bandwidth/CMakeLists.txt</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                       </array>
-                                                                                                                       <key>Expanded</key>
-                                                                                                                       <true/>
-                                                                                                                       <key>GID</key>
-                                                                                                                       <integer>80</integer>
-                                                                                                                       <key>Path</key>
-                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/bandwidth</string>
-                                                                                                                       <key>Path Type</key>
-                                                                                                                       <integer>1</integer>
-                                                                                                                       <key>Privileges</key>
-                                                                                                                       <integer>493</integer>
-                                                                                                                       <key>Type</key>
-                                                                                                                       <integer>3</integer>
-                                                                                                                       <key>UID</key>
-                                                                                                                       <integer>0</integer>
-                                                                                                               </dict>
-                                                                                                               <dict>
-                                                                                                                       <key>Children</key>
-                                                                                                                       <array>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/saturate/CMakeLists.txt</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/saturate/env.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/saturate/medium_deployment.xml</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/saturate/saturate.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/saturate/saturate.xml</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/saturate/saturate_rl.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>493</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/saturate/saturate_sg_32.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/saturate/saturate_sg_64.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                       </array>
-                                                                                                                       <key>Expanded</key>
-                                                                                                                       <true/>
-                                                                                                                       <key>GID</key>
-                                                                                                                       <integer>80</integer>
-                                                                                                                       <key>Path</key>
-                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok/saturate</string>
-                                                                                                                       <key>Path Type</key>
-                                                                                                                       <integer>1</integer>
-                                                                                                                       <key>Privileges</key>
-                                                                                                                       <integer>493</integer>
-                                                                                                                       <key>Type</key>
-                                                                                                                       <integer>3</integer>
-                                                                                                                       <key>UID</key>
-                                                                                                                       <integer>0</integer>
-                                                                                                               </dict>
-                                                                                                       </array>
-                                                                                                       <key>Expanded</key>
-                                                                                                       <true/>
-                                                                                                       <key>GID</key>
-                                                                                                       <integer>80</integer>
-                                                                                                       <key>Path</key>
-                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/amok</string>
-                                                                                                       <key>Path Type</key>
-                                                                                                       <integer>1</integer>
-                                                                                                       <key>Privileges</key>
-                                                                                                       <integer>493</integer>
-                                                                                                       <key>Type</key>
-                                                                                                       <integer>3</integer>
-                                                                                                       <key>UID</key>
-                                                                                                       <integer>0</integer>
-                                                                                               </dict>
-                                                                                               <dict>
-                                                                                                       <key>Children</key>
-                                                                                                       <array>
-                                                                                                               <dict>
-                                                                                                                       <key>Children</key>
-                                                                                                                       <array>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/all2all/all2all.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/all2all/all2all.xml</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/all2all/CMakeLists.txt</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/all2all/make_deployment.pl</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>493</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/all2all/run.sh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>493</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/all2all/test_rl.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>493</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/all2all/test_sg_32.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/all2all/test_sg_64.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                       </array>
-                                                                                                                       <key>Expanded</key>
-                                                                                                                       <true/>
-                                                                                                                       <key>GID</key>
-                                                                                                                       <integer>80</integer>
-                                                                                                                       <key>Path</key>
-                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/all2all</string>
-                                                                                                                       <key>Path Type</key>
-                                                                                                                       <integer>1</integer>
-                                                                                                                       <key>Privileges</key>
-                                                                                                                       <integer>493</integer>
-                                                                                                                       <key>Type</key>
-                                                                                                                       <integer>3</integer>
-                                                                                                                       <key>UID</key>
-                                                                                                                       <integer>0</integer>
-                                                                                                               </dict>
-                                                                                                               <dict>
-                                                                                                                       <key>Children</key>
-                                                                                                                       <array>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/chrono/chrono.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/chrono/chrono.xml</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/chrono/chrono2.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/chrono/CMakeLists.txt</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/chrono/test_rl.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>493</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/chrono/test_sg_32.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>493</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/chrono/test_sg_64.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>493</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                       </array>
-                                                                                                                       <key>Expanded</key>
-                                                                                                                       <true/>
-                                                                                                                       <key>GID</key>
-                                                                                                                       <integer>80</integer>
-                                                                                                                       <key>Path</key>
-                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/chrono</string>
-                                                                                                                       <key>Path Type</key>
-                                                                                                                       <integer>1</integer>
-                                                                                                                       <key>Privileges</key>
-                                                                                                                       <integer>493</integer>
-                                                                                                                       <key>Type</key>
-                                                                                                                       <integer>3</integer>
-                                                                                                                       <key>UID</key>
-                                                                                                                       <integer>0</integer>
-                                                                                                               </dict>
-                                                                                                               <dict>
-                                                                                                                       <key>Children</key>
-                                                                                                                       <array>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/console/CMakeLists.txt</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/console/gras_platform_script.lua</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/console/ping.h</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/console/ping_client.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/console/ping_common.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/console/ping_generator.lua</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/console/ping_server.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                       </array>
-                                                                                                                       <key>Expanded</key>
-                                                                                                                       <true/>
-                                                                                                                       <key>GID</key>
-                                                                                                                       <integer>80</integer>
-                                                                                                                       <key>Path</key>
-                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/console</string>
-                                                                                                                       <key>Path Type</key>
-                                                                                                                       <integer>1</integer>
-                                                                                                                       <key>Privileges</key>
-                                                                                                                       <integer>493</integer>
-                                                                                                                       <key>Type</key>
-                                                                                                                       <integer>3</integer>
-                                                                                                                       <key>UID</key>
-                                                                                                                       <integer>0</integer>
-                                                                                                               </dict>
-                                                                                                               <dict>
-                                                                                                                       <key>Children</key>
-                                                                                                                       <array>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mmrpc/CMakeLists.txt</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mmrpc/mmrpc.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mmrpc/mmrpc.h</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mmrpc/mmrpc.xml</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mmrpc/mmrpc_client.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mmrpc/mmrpc_common.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mmrpc/mmrpc_server.c</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mmrpc/test_rl.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>493</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mmrpc/test_sg_32.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array/>
-                                                                                                                                       <key>GID</key>
-                                                                                                                                       <integer>80</integer>
-                                                                                                                                       <key>Path</key>
-                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mmrpc/test_sg_64.tesh</string>
-                                                                                                                                       <key>Path Type</key>
-                                                                                                                                       <integer>1</integer>
-                                                                                                                                       <key>Privileges</key>
-                                                                                                                                       <integer>420</integer>
-                                                                                                                                       <key>Type</key>
-                                                                                                                                       <integer>3</integer>
-                                                                                                                                       <key>UID</key>
-                                                                                                                                       <integer>0</integer>
-                                                                                                                               </dict>
-                                                                                                                       </array>
-                                                                                                                       <key>Expanded</key>
-                                                                                                                       <true/>
-                                                                                                                       <key>GID</key>
-                                                                                                                       <integer>80</integer>
-                                                                                                                       <key>Path</key>
-                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mmrpc</string>
-                                                                                                                       <key>Path Type</key>
-                                                                                                                       <integer>1</integer>
-                                                                                                                       <key>Privileges</key>
-                                                                                                                       <integer>493</integer>
-                                                                                                                       <key>Type</key>
-                                                                                                                       <integer>3</integer>
-                                                                                                                       <key>UID</key>
-                                                                                                                       <integer>0</integer>
-                                                                                                               </dict>
-                                                                                                               <dict>
-                                                                                                                       <key>Children</key>
-                                                                                                                       <array>
-                                                                                                                               <dict>
-                                                                                                                                       <key>Children</key>
-                                                                                                                                       <array>
-                                                                                                                                               <dict>
-                                                                                                                                                       <key>Children</key>
-                                                                                                                                                       <array/>
-                                                                                                                                                       <key>GID</key>
-                                                                                                                                                       <integer>80</integer>
-                                                                                                                                                       <key>Path</key>
-                                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mutual_exclusion/simple_token/CMakeLists.txt</string>
-                                                                                                                                                       <key>Path Type</key>
-                                                                                                                                                       <integer>1</integer>
-                                                                                                                                                       <key>Privileges</key>
-                                                                                                                                                       <integer>420</integer>
-                                                                                                                                                       <key>Type</key>
-                                                                                                                                                       <integer>3</integer>
-                                                                                                                                                       <key>UID</key>
-                                                                                                                                                       <integer>0</integer>
-                                                                                                                                               </dict>
-                                                                                                                                               <dict>
-                                                                                                                                                       <key>Children</key>
-                                                                                                                                                       <array/>
-                                                                                                                                                       <key>GID</key>
-                                                                                                                                                       <integer>80</integer>
-                                                                                                                                                       <key>Path</key>
-                                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mutual_exclusion/simple_token/make_deployment.pl</string>
-                                                                                                                                                       <key>Path Type</key>
-                                                                                                                                                       <integer>1</integer>
-                                                                                                                                                       <key>Privileges</key>
-                                                                                                                                                       <integer>493</integer>
-                                                                                                                                                       <key>Type</key>
-                                                                                                                                                       <integer>3</integer>
-                                                                                                                                                       <key>UID</key>
-                                                                                                                                                       <integer>0</integer>
-                                                                                                                                               </dict>
-                                                                                                                                               <dict>
-                                                                                                                                                       <key>Children</key>
-                                                                                                                                                       <array/>
-                                                                                                                                                       <key>GID</key>
-                                                                                                                                                       <integer>80</integer>
-                                                                                                                                                       <key>Path</key>
-                                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mutual_exclusion/simple_token/run.sh</string>
-                                                                                                                                                       <key>Path Type</key>
-                                                                                                                                                       <integer>1</integer>
-                                                                                                                                                       <key>Privileges</key>
-                                                                                                                                                       <integer>493</integer>
-                                                                                                                                                       <key>Type</key>
-                                                                                                                                                       <integer>3</integer>
-                                                                                                                                                       <key>UID</key>
-                                                                                                                                                       <integer>0</integer>
-                                                                                                                                               </dict>
-                                                                                                                                               <dict>
-                                                                                                                                                       <key>Children</key>
-                                                                                                                                                       <array/>
-                                                                                                                                                       <key>GID</key>
-                                                                                                                                                       <integer>80</integer>
-                                                                                                                                                       <key>Path</key>
-                                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mutual_exclusion/simple_token/simple_token.c</string>
-                                                                                                                                                       <key>Path Type</key>
-                                                                                                                                                       <integer>1</integer>
-                                                                                                                                                       <key>Privileges</key>
-                                                                                                                                                       <integer>420</integer>
-                                                                                                                                                       <key>Type</key>
-                                                                                                                                                       <integer>3</integer>
-                                                                                                                                                       <key>UID</key>
-                                                                                                                                                       <integer>0</integer>
-                                                                                                                                               </dict>
-                                                                                                                                               <dict>
-                                                                                                                                                       <key>Children</key>
-                                                                                                                                                       <array/>
-                                                                                                                                                       <key>GID</key>
-                                                                                                                                                       <integer>80</integer>
-                                                                                                                                                       <key>Path</key>
-                                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mutual_exclusion/simple_token/simple_token.xml</string>
-                                                                                                                                                       <key>Path Type</key>
-                                                                                                                                                       <integer>1</integer>
-                                                                                                                                                       <key>Privileges</key>
-                                                                                                                                                       <integer>420</integer>
-                                                                                                                                                       <key>Type</key>
-                                                                                                                                                       <integer>3</integer>
-                                                                                                                                                       <key>UID</key>
-                                                                                                                                                       <integer>0</integer>
-                                                                                                                                               </dict>
-                                                                                                                                               <dict>
-                                                                                                                                                       <key>Children</key>
-                                                                                                                                                       <array/>
-                                                                                                                                                       <key>GID</key>
-                                                                                                                                                       <integer>80</integer>
-                                                                                                                                                       <key>Path</key>
-                                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mutual_exclusion/simple_token/test_rl.tesh</string>
-                                                                                                                                                       <key>Path Type</key>
-                                                                                                                                                       <integer>1</integer>
-                                                                                                                                                       <key>Privileges</key>
-                                                                                                                                                       <integer>493</integer>
-                                                                                                                                                       <key>Type</key>
-                                                                                                                                                       <integer>3</integer>
-                                                                                                                                                       <key>UID</key>
-                                                                                                                                                       <integer>0</integer>
-                                                                                                                                               </dict>
-                                                                                                                                               <dict>
-                                                                                                                                                       <key>Children</key>
-                                                                                                                                                       <array/>
-                                                                                                                                                       <key>GID</key>
-                                                                                                                                                       <integer>80</integer>
-                                                                                                                                                       <key>Path</key>
-                                                                                                                                                       <string>/Users/pierre/Desktop/simgrid/examples/gras/mutual_exclusion/simple_token/test_sg_32.tesh</string>
-                                                                                                                                                       <key>Path Type</key>
-                                                                                                                                                       <integer>1</integer>
-                                                                                                                                                       <key>Privileges</key>
-                                                                                                                                                       <integer>420</integer>
-                                                                                                                                                       <key>Type</key>
-                                                                                                                                                       <integer>3</integer>
-                                                                                                                                                       <key>UID</key>
-                                                                                                                                                       <integer>0</integer>
-                                                                                                                                               </dict>
-                                                                                                                                               <dict>
-                                                                                                                                                       <key>Children</key>
-                                                                                                                                                       <array/>
-                                                                                                                                                       <key>GID</key>
-                                                                                                                                                       <integer>80</integer>
-                    &