=============================================
SimGrid is a framework to simulate distributed computer systems. It can be used
-to either `assess abstract algorithms <usecase_simalgo>`_, or to `debug and
-profile real MPI applications <usecase_smpi>`_.
+to either :ref:`assess abstract algorithms <usecase_simalgo>`, or to
+:ref:`debug and profile real MPI applications <usecase_smpi>`.
SimGrid is routinely used in studies on (data-)Grids,
IaaS Clouds (:ref:`API <API_s4u_VirtualMachine>`, :ref:`examples <s4u_ex_clouds>`),
**highly scalable** (`🖹 <http://hal.inria.fr/inria-00602216/>`__) while
**theoretically sound and experimentally assessed** (`🖹 <http://doi.acm.org/10.1145/2517448>`__).
Most of the time, SimGrid is used to predict the performance (time and energy) of a
-given IT infrastructure, and it includes a prototypal model-checker to formally
+given IT infrastructure, and it includes a prototype model checker to formally
assess these systems.
Technically speaking, SimGrid is a library. It is neither a graphical
SimGrid is a Free Software distributed under the LGPL-2.1 license. You are
welcome to use, study, share and improve it, provided that your version are as
-free as ours. SimGrid is developed by a vivid community of users and developers.
-We hope that you will come and join us! SimGrid is the result of almost 20 years
-of research from several groups, both in France and in the U.S.A. It benefited
-of many funding from various research bodies.
+free as ours. SimGrid is developed since 20 years by a lively community of users
+and researchers from several groups, initially in France and in the U.S.A. It
+is steadily funded by several research bodies. We hope that you will
+come and join us!
SimGrid is a powerful tool, and this documentation will help you taking the best
of it. Check its contents on the left. Each tutorial presents a classical use
-case, in a fast and practical manner. The user manual containts more
-throughfully information. In each part, the important concepts are concisely
+case, in a fast and practical manner. The user manual contains more
+thorough information. In each part, the important concepts are concisely
introduced, before the reference manual. SimGrid is also described in several
`scientific papers <https://simgrid.org/Publications.html>`_.
`on FramaGit <https://framagit.org/simgrid/simgrid/issues>`_
-.. TODO
-..
-.. The webpage should be made light, graphical and nice looking.
-
.. toctree::
:hidden:
:maxdepth: 1
The SMPI Interface <app_smpi.rst>
The MSG Interface <app_msg.rst>
Describing the Simulated Platform <platform.rst>
+ Examples <Platform_Examples.rst>
Modeling Hints <platform_howtos.rst>
- DTD Reference <platform_reference.rst>
- Describing the Experimental Scenario <scenario.rst>
+ XML Reference <XML_Reference.rst>
+ Describing the Experimental Setup <Experimental_Setup.rst>
Configuring SimGrid <Configuring_SimGrid.rst>
+ Deploying your Application <Deploying_your_Application.rst>
The SimGrid Models <models.rst>
ns-3 as a SimGrid model <ns3.rst>
+ SimGrid Plugins <Plugins.rst>
Simulation Outcomes <outcomes.rst>
- Use Cases and Howto <howto.rst>
The SimGrid Community <community.rst>
Frequently Asked Questions <faq.rst>