Remove all traces of chord_before_dsend

This was an attempt at working around bugs in the model-checker, but
it turned out that the bugs were not due to dsend, making the work
around useless.

further eradicate all traces of GRAS existance

don't polute my disk with your crappy test files

document one of the major change of the upcoming release

Remove doc items about gras.

These files are automatically regenerated at another place.

Remove them.

Remove deprecated figures.

Remove old pictures.

The files seem to be corrupted anyway.

Remove binary file!

Remove fixme comment.

We cannot use an assert here, since test simdag_reinit_costs tries
to call xbt_init twice.

Log priorities were renamed a long time ago.

Eradicate gras further.

Merge XBT_SG_SRC with XBT_SRC, and fix make dist.

Re-add file (wrongly removed).

fix distcheck to handle mpich-test

Merge branch 'killgraskill'

Update ChangeLog.

Fix make dist.

make distcheck is still broken, though.

Finalize coverage for swag.c.

Kill more references to GRAS.

This hack is not needed since gras is killed.

Rename gras_config to internal_config.

Kill xbt_dynar_dopar().

Keep it as a separated commit, to make a potential revert easier.

Use real threads for xbt_dynar_dopar.

Revert "use MSG_init instead of xbt_init since someone wrongly create mutexes"

This reverts commit becf2ff78c488808dcb55883271ca759ac0ca492
since it's not needed anymore.

Move check at another place where it doesn't break the log machinery.

try to fix 'make dist' after GRAS murder (SMPI test still break it)

adapt the links of this figure to the fact that the doc is splited in 3 parts (fixes #15069)

remove GRAS and AMOK from the module picture

further remove GRAS and friends (from the doxygen config files)

useless cosmetic

comments, debugs and other minor glitches

use OS threads and not simix ones to run the test in parallel

a public xbt header wasnt included from xbt.h

ignore some of the recently added generated files

these examples were moved as tesh tests

kill synchronized dynars: we don't need them and they are a mess to keep (sorry, users)

use MSG_init instead of xbt_init since someone wrongly create mutexes

There should not be necessary to call MSG_init to create xbt_mutexes,
but since this creation induces a simcall, we'd better initialize
simix.

This is not sufficient though, as maestro_context does not seem to be
initialized this way, leading to a try to dereference the host of the
current process, that was never set.

how did that cruft manage to live that long?

typo--

some things do not have to be done by each process

We want host name here, not process name.

Remove further references to gras in buildtools/.

Remove references to amok in builtools/.

These tests don't exist anymore.

xbt/time.h dows not exist anymore.

Link against simgrid instead of gras.

Use xbt_os_time() instead of gras_os_time().

Remove more references to gras.

Add missing files to build.

Define xbt_os_procname().

xbt_trp and xbt_datadesc were removed.

Make tesh build (?).

Kill gras_modinter.h.

Log category gras_trp_sg does not exist anymore.

remove some leaks in verbose replay

first try at killing GRAS -- does not compile yet

remove gras from the main documentation

merge changes: modify GRAS vs. kill GRAS, kill wins

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

Change links in doc

model-checker : increase timeout in tesh chord_neverjoin

model-checker : increase timeout in tesh snapshot_comparison[1-5]

secure the stack size parameter for thread,
to avoid some segfaults when the value is not right

there was a mistake that prevented examples dir from being used in coverage reports.
As they are meant to be used by users, we want to include them for release builds

Switch some globals to DATA, this shouldn't change anything for now

seriously ...

model-checker: take snapshot if property file set

s/lastest/latest/ (stupid me)

model-checker : abort if acceptance cycle detected

model-checker : remove automatic activation of MC if a value of cfg flag about MC is modified

model-checker : new tesh for snapshot comparison tests

model-checker : rename cfg flag for state comparison reduction with storage of visited states (stateful->visited)

model-checker : use xbt_cfg_setdefault instead of default_value in surf_config (incorrect display with --help)

model-checker : ignore coverage variables

model-checker : abort if popen failed

model-checker : fix compilation error (with optimizations) with commit d90a41491cfb04188c4469729fa60d01ec0ff693

add the TLA specification of the simix network layer, for marion to play with

attempt to get everything properly cleaned when only using --help and friends

model-checker : add tesh for bugged1_liveness and chord_neverjoin

model-checker : use XBT_DEBUG instead of XBT_INFO

model-checker : fix insertion in mc_data_bss_comparion

model-checker : ignore some variables enabled with tracing, and variables about exception for all frames

model-checker : improve stack ignore in heap comparison algorithm

model-checker : stateful mode disabled by default

model-checker : stop independance reduction if same request issuer

model-checker : ignore new local variable

model-checker : use XBT_DEBUG instead of XBT_INFO

model-checker : MC_init() must be called for initial snapshot

model-checker : fix dpor algorithm

  - Interleave all enabled processes for each state
  - If max_depth reached and last state still have processes interleaved, backtrack on this state (reduction not applied)"
  - If independant transitions, corresponding process interleaved in previous state is disabled (MC_DONE)

forget to apply cleanups in MC on SMPI (separate MC_modelcheck for safety and liveness)

model-checker : factorize code for safety and liveness model-checking

- same function for checkpointing : MC_take_snapshot
- MC_init : dwarf parsing and init memory map info
- add visited states storage for safety model checking

model-checker : fix dependance theorem according to TLA+ specification

iSend and iRecv requests are dependant with Test requests if process issuer is different.
On the path iRecv->iSend->Test, test return true but on the path iRecv/Test/iSend, test return false.

So, each interleaving must be explored.

model-checker : warning message if max depth is reached

model-checker : memory free

model-checker : cleanups in verification of current heap

model-checker : comparison times are NULL for visited_pair

model-checker : fix segfault in get_local_variables_values()

model-checker : create subdir for chord example with liveness model-checking

model-checker : store last visited states during exploration

  - new cfg flag : model-check/stateful -> indicates how many visited states stored (default value : 10)
  - if a state has been already visited, backtracking