Improve printing of boolean values with --cfg-help.

Some values are rather strange...

Run *-thread tests even when !HAVE_RAWCTX; skip Fortran tests when !SMPI_F2C.

HOME and BINARY directories were exchanged here. Fix this.

Fix silly bug in msg process sleep bindings - Adrien

Avoid to build programs again during mpich3 tests.

Die if program is not found.

Make comment match the code.

Word "centralized" was removed from package name.

Remove redefinitions of COMPILE_FLAGS for mpich3-test.

They should be useless now, and having hardcoded values for all these
configure variables was not a good idea.

Fix warnings about unused variables in mpich3-test.

Make smpi_process_init public, and avoid errors with smpiff.

Don't remove forward declarations for subroutines.

I can't see any good reason to remove them, and it removes compile errors
about implicit function declarations.

Cannot free this string here.

Use Msg.verb instead of System.out for message.

Also reindent the whole file.

Fix errors in make distcheck.

* include missing files to the archive
* exclude Eclipse files from the archive
* exclude ./tools/spell/* from the archive
* exclude directory ./teshsuite/smpi/mpich3-test/f77/attr/ from the archive
* always include ./teshsuite/smpi/mpich3-test/{f77,f90}/*/CMakeLists.txt
  and move test for SMPI_F2C in those files

Cosmetics: reindent.

Minor corrections.

this example file cannot be parsed because of case sensitivity ... Not
sure it is actually used.

Ensure we don't post a too big receive here, because this could lead to problems with permanent receive.
Add a fixme to remember to handle this case soon

share my eclipse settings

don't ignore eclipse project files so that  I can share them

ignore all the *numerous* mpich3 tests

give this example default values for the arguments so that it can be run from eclipse

unavoidable cosmetic. Sorry for the noise

gosh people, don't you use git status? How could you leak so much files around?

java examples: reorg the imports

java examples: align the package declaration with the directory name

include the CITATION.bib in the archives

added a CITATION.bib file to make it easier for people to know how to cite the
simgrid software.

Revert "Argh stupid me! This fixes commit 4fff3fb509f60c96745fb5d3e1be1bd824185366. Thanks Mt!"

This reverts commit 28937161936e11ceac5acccf0b547055cc67a79e.

as this can be called from anywhere (and sometimes inside smpi_sample blocks), remove bench start/stop

memleaks --

move tracing for smpi collectives to a place where inputs are already sanitized

add option tracing/smpi/display_sizes to display size of message in trace for smpi (for now).

we added it, we might as well ... use it ?

add mpich's allgatherv ring algo, as the one from star-mpi performs terribly

have alltoallv bruck algo behave like mpich one, with only 4 messages sent at a time

typo--

Argh stupid me! This fixes commit 4fff3fb509f60c96745fb5d3e1be1bd824185366. Thanks Mt!

My bad. There may be no process at all, hence, surf_solve may not be called, hence we need to check whether this variable has ever been initialized or not...

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