More cache cleaning in lmm_solve

copying an image needed by the tracing documentation

[trace] fix paje header in tesh files

[trace] correctly declaring simgrid tracing mark values as event values

[trace] don't specify color when declaring an event type

[trace] follow the paje file format specification

Don't define variables in header file.

Update.

Fix indentation (again).

Fix memory leak.

SIMIX_host_execution_destroy() was modified along to SIMIX_host_execution_cancel()
by commit c4d5e0512df1e2b3e83d57fbb17e225e286ef4ca (avoid double free issues
when on host failure+process run).

These changes lead to memory leaks (action are not destroyed anymore).

Since SIMIX_host_execution_cancel was later modified, revert the changes
from commit c4d5e05.

[trace] free dicts on TRACE_end.

Fix free function for dynar, and simplify the code at the end of the function.

Avoid to free object twice.

Free dot before exit.

model-checker : use abort() instead of a hack for core dump

model-checker : typo

model-checker : create core dump without termination for each acceptance pair

model-checker : pointer detection fixed

model-checker : copyright header for safety properties model checking examples

Add bittorrent example

Little change in xbt_dynar_to_array doc

Revalidate chord.tesh/chord_crosstraffic.tesh

Add leave in chord

Fix some warnings in doc

Remove this files to git

lmm_solve cache cleaning

Minor corrections.

Add missing test properties for new lua tests.

Fix indentation.

Define macros to make compatibility layer of libagraph vs. libcgraph more legible.

Add lua-bittorrent tesh file

Add lua-kademlia tesh file

Add kademlia lua example

Tiny corrections in doc.

model-checker: sed 's/m_task_t/msg_task_t/g' on MC examples

model-checker : extend pointer detection in heap comparison algorithm

model-checker : remove unnecessary test

Just cleaned some stuff to only show undocumented functions refered

Add missing compatibility typedefs.

Move compatibility typedefs in section MSG_USE_DEPRECATED.

Add a new test to see how failures are handled by SimDag.
Seem to raise a bug because unscheduling and rescheduling a FAILED
tasks makes it run in no time.

Added some stuff about deployment to please Fred. Corrected some stuff.

Just added links to tutorials.

Mainly cosmetics. I stop for now working on doc.

Ok, I forgot most of the examples in one of my previous commit. Repaired.

Cosmetics

Cleaned doc, re-included examples, should be better now.

Fix typo in msg reference guide

model-checker : tests for snapshot comparison

model-checker : test unit removed

model-checker : move functions about snapshot comparison from mc_liveness to mc_checkpoint and declare them static

model-checker : get fragment number like in realloc function

Reindent.

Update changelog

Move a simcall doc from MSG to SIMIX

Add some doc for SIMIX reference guide

Fix issues in documentation

Use msg_error_t instead of MSG_error_t

Use msg_gpu_task_t instead of m_gpu_task_t

Use msg_task_t instead of m_task_t

Use msg_host_t instead of m_host_t.

Use msg_process_t instead of m_process_t

Update tesh files with process autorestart.

Add "output sort" in tesh files.

Clean CMakeLists.txt in examples/smpi.

Remove "flags" which is already set in smpicc, and use include_directories for its purpose.

Don't mix install and build directories in smpicc.

Build directories are already given on command line by cmake.
Ensure that install directories come last in the list so that the correct
directories are used at build time for includes and libraries.

Missing include when !HAVE_TRACING.

Use memcpy() instead of possibly broken aliasing through an union.

According to C standard:
J.1 Unspecified behavior
The following are unspecified:
[...]
-- The value of a union member other than the last one stored into (6.2.6.1).

Fix in SIMIX_host_add_auto_restart_process

Fix an issue in process autorestart

Hide cmake variable

Remove duplicated declartion of functions. They are in simix.h and not private,
they are called by MSG

Add the function autorestart in simix_global

Add SIMIX_host_restart_processes

Create a dict with all hosts with state SURF_RESOURCE_OFF during a SIMIX_process_stop.

TODO comments

Test for failed host is wrong for parallel tasks.

Add dots, and break long lines.

Changelog update

memcheck_tests.cmake: update.

Don't run test when it's not built (!HAVE_GRAPHVIZ).

Fix path for out-of-source builds, and kill useless empty lines.

Update with flex from Debian (includes fixes for ia64).

Test the simdag_tracing code that were already there in /examples/simdag

model-checker : update supernovae files (automaton_create.c removed with cleanups done for model-checking configuration)

model-checker : detect valid block or fragment pointer as free function

model-checker : check current_heap before SET_RAW_MEM and restore it after UNSET_RAW_MEM

First bricks for auto_restart support in SIMIX/MSG.

Changes in generated files from DTD change.

Changes in SimGrid DTD files for on_failure support.

Add on_failure for processes to the SimGrid DTD.

Fix search paths for test "simdag-test-lua".

The test is still failing, though.

Untabify.

Avoid to recompile automatonparse_promela.c at each build (maintainer mode).

Testing the value is useless here...

Complete help for logs.

Remove obsolete command line arguments from help.

Typo and spaces at EOL.

memcheck_tests.cmake: regenerate.

Make generate_memcheck_tests.pl keep indentation (but the two first space).