Fix a bunch of typos thanks to the new spell script. I only made the words starting by the letter 'a'.

A French comment!?! Marion, please, check the translation. :)

Add convenient scripts to check spelling.

I stole them from http://www.kegel.com/kerspell/ and updated them to "modernity" (aspell did not work as expected so I switched to ispell).
Simply sh tools/spell/spell.sh and it will spit a list of dubious words.
Note that it ignores all the dubious words listed in tools/spell/sg_stopwords.txt and that I only checked the A's in there so far.

Remove the uggly surf_watched_hosts pimple and allow the autorestart to work properly.

Revalidate the tesh files which were actually wrong since hosts were not restarted at the right time...

Avoid stupid segfault on DEBUG when heap is empty.

Move variable to where it belongs.

typo--

Get rid of nasty utf8 spaces that annoy latex.

Rulebased is dead some time ago.

Typos

Peers should be within an AS if we want this construction to be compatible with other kind of AS.

Allow to disable simgrid cleanups at exit from command line option.

typo--

Typo--

increase timeout

model-checker : else if instead of if{} if{}

model-checker : init equal_to in mmalloc info

model-checker : memory free and cleanup

model-checker : update SMPI bugged mutual exclusion example

model-checker : update MSG bugged mutual exclusion example

model-checker : stop stack comparison before the context switching with maestro

model-checker : fix dot output for liveness MC

model-checker : fix error compilation without MC

model-checker : remove binary

model-checker : create mc directory in smpi examples and add new example for liveness verification of MPI programs

model-checker : ignore in_use in s_smpi_mpi_datatype

model-checker : fix ignore mechanism

model-checker : ignore smpi timer

get size of struct s_xbt_os_timer

model-checker : fix ignore global variable

model-checker : remove unused variable

model-checker : add debug message

init ret_val (MC compliant)

model-checker : fix MC init in smpi_main

model-checker : fix comparison of local variables

model-checker : initialize equal_to in mmalloc heapinfo

model-checker : memory free

model-checker : extend ignore mechanism with new user primitive MC_ignore

model-checker : remove fprintf -> XBT_DEBUG

model-checker : update tesh

model-checker : update chord example for exhaustive exploration with MC

model-checker : udpate debug information

model-checker : fix DPOR with visited states reduction

model-checker : add min and max values for MC_RANDOM simcall

model-checker : rename MC_max_depth(int prop) -> MC_cut()

model-checker : fix dot_output with DPOR

document SD_config

start to design a test for storage management in SimDag (very very
preliminary for now)

Simdag users may also want to change SimGrid configuration in the code
too (to switch to workstation/model:default, for instance)

at least give an existing model as example ...

add a SD_workstation_storage_get_list as a first try to add storage
management to SimDag.

small simplification

add new simdag function upon user request.

update the other tesh for chord example

disable random lookup in Chord (tesh examples fail)

update chord.tesh

model-checker : update CMakeLists

model-checker : remove dead file

model-checker : remove duplicated example chord

implement check_predecessor and random_lookup (periodic protocols) in Chord example

cosmetics

model-checker : remove obsolete examples

model-checker : remove dead code

model-checker : new primitive MC_max_depth, to define a maximum exploration depth in user code

model-checker : update tesh files

model-checker : fix DPOR with timeout

model-checker : include simcall number in request_to_string

model-checker : snapshot comparison with the types of variables and cleanup

model-checker : comparison of number of processes and bytes used in heap done twice, remove one of them

exclude tests, don't include them.

Add simple autotuning selector for collectives
For now, it loops over existing ones and benches the time for each process and the maximum time.
It outputs the shortest collective found for each process, and also the global shortest.
A rollback feature should be added to allow correct continuation and simulation.
This is still experimental, tests are not generated, it can be called with --cfg=smpi/collname:automatic
For now we don't check for input values, so some algorithms will fail (because they need power of 2 or even number of processes, mainly). Checks should be added

generate unique names, but easier for debug

deactivate f90 tests with MC, which caused problems

one of the two ci configurations kept failing, attempt to fix it

remove now useless debug messages

Set MPI_Request to MPI_REQUEST_NULL whenever a call fails

guard against potential segfault when used before initialization

add an include to please ci

changelog update

fix behavior of MPI_STATUS_IGNORE and MPI_STATUSES_IGNORE with fortran

typo + compile without fortran

smpif90 changes (force gfortran for now), replace "use mpi" by include "mpif.h"

add fortran 90 tests

Fix potential segfault

add one binding

fix behavior of waitany

oups forgot to describe new parameter

don't allow java to attach user data to file (for now ... if a java
expert wants to deal with this, welcome)

update examples with new prototype for open

Allow users to attach arbitrary data to opened files

remove f77 attr tests

missing file

only use MPI_SOURCE when necessary

switch cmake variable names

cmakelists cleanup

Add (some) mpich3 f77 tests

have smpiff work on temporary file copies
bad for debug, but allows -j flag to work with multiple targets using same file

correct a few mistakes with waitall, waitany, wait

make fortran new bindings almost functional

add two more functions