model-checker : --cfg=model-check/checkpoint is an int, not a boolean
model-checker : fix bugged1_liveness example
model-checker : minor fix in ddfs algorithm
model-checker : get size used (heapinfo meta-data)
model-checker : parallel comparison of system states for liveness model-checking
forget to uncomment a part of code
model-checker : new tesh example for liveness model checking with visited state reduction
model-checker : fix platform file path in tesh examples
introduction.doc corrections
model-checker : add bugged1_liveness_visited.tesh in CMakeLists.txt
Empty structs are not allowed in C.

Use an incomplete declaration instead.
Fix doxygen comments.

* declare msg_storage_t
* add missing names for the parameters
* fix spurious "@htmlonly" appearing in the generated doc
* plus a typo (Altough -> Although)
Cosmetics: some reindent.
Correct the settings for default values of boolean parameters.

WARNING: the effective default has changed from "yes" to "no" for
cpu/maxmin_selective_update and network/maxmin_selective_update.
These new default values were chosen to match the documentation.
Use xbt_cfg_setdefault everywhere.
model-checker : add deployment file deploy_bugged1_liveness_visited.xml in CMakeLists.txt
Test is useless here.
Update mmalloc_{32,64}.tesh.
add a check to ensure that async_small_thres is under send_is_detached..
We don't want not detached asynchronous sends
fix build without tracing