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).

Reindent Cmake files.

Remove unnecessary spaces and empty lines in tesh files.

test also the dotloader with a file that comprises a cycle.

even with DOT, we should whine if cycle are detected and return nothing

invalid access mode should be tested in the setter not in the dump
function.

add the simdag-dax-cycle test to the list

add a new test that loads a DAX with a cycle. It should be detected and
the test should abort.

have to use basename once again to make tesh happy

If the DAX contains a cycle, just miserably die ...

When you detect a cycle in a structure supposed to be acyclic, don't
return it the user. Raise an error message and return nothing instead.

Fix a memory leak.

Add bittorrent files to the CMakeLists

model-checker : keep one bugged1 example for liveness properties

model-checker : update list of examples in CMakeLists

model-checker : remove unused examples

model-checker : cosmetics reindent

rhhaaa, forgot the tesh file of that beautiful test.

Add a simcall for process_on_exit

Fix commit f48cc395ebecc84d865ab551a672d2a2358624e5

Fix an issue when you registered a on_exit function on a process_create.

slight change to verify that access mode can be changed both ways

extend test to see if SD_workstation_dump displays properties correctly

extend the test to unschedule parallel typed tasks and test the fact
that no order is imposed to auto-schedule a transfer (src first or dst
first, who cares?)

SD_unschedule was never tested and actually buggy for typed parallel
tasks.

basename raises a warning without including libgen.h

add yet another basic tesh to increase coverage. sd_link.c should be at
100% now

model-checker : keep MC_request_to_string in std heap

model-checker : detect pointers on valid fragment in heap comparison algorithm

Add bittorrent example in Lua

don't add the binary to the git

make this tests pass

remove unused variable

one more test of the dotloader (dot with a good schedule in it)

add the tesh to the testsuite

forgot to add the test to the whole list

add a (currently) broken test that tries to create the environment by
loading some lua script

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

Add a new basic test: what happens when simulation ends while some tasks
are not handle at all? Get wome warnings, dude!

more content and cosmetics to the ChangeLog

document some of the recent changes that I can remember of

Use cmake module for lua51

Update tesh files using trace as those files have changed in order to test more cases.

Need to have a double because the result should not be an integer.

make iterating over NULL dynar a no-op that does not let the counter uninitialized

MSG_config mc-related stuff is not enough to activate model-checking, the --cfg is mandated (or MC initialization will occure to late). Warn users accordingly

Fix usage of xbt_dynar_foreach if dynar is NULL.

model-checker : update tesh with new cleanups done in model checking configuration

Those files are generated so they don't have to be in source packages.

Remove MSG_process_kill_from_SIMIX

oops, we broke non-model-checking builds yesterday. Sorry guys

ignore some new binary files

use an axe (and dupplicate targets) to get the doc compiling

model-checker : update name of generated_files

model-checker : comment storage of visited pairs

Re add file (CMake files) to generate doc in the dist

Don't need to track those files they are generated

Those files are generated

Remove deleted files from archive.

Put double instead of size_t.

Document the new config options that we introduced with Marion

Fix path for the cmake generated file.

More debug

Fix update of the file size when write a double and not int

Rewrite the way the disk usage and file size are updated

Comsetics

Move MSG_parallel_task_create() in msg_task.c.

Also use MSG_task_create() for the common initializations.

Make the initializations follow the order of the declarations.

Use the right directory name.

Remaining s/MSG_global_init/MSG_init/.