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

Cleanups in the --cfg options regarding model-checking

plus, various internal cleanups. Also, we broke the liveness checking
for some obscure reason that we fail to see right now...

improve documentation on the way

Check if the host is down at the end of a SIMIX_io_finish

Kill the process when a host fails when doing a synchronisation simcall.

Various cleanups to the model-checking user interface

- hide the automaton used to represent the property within MC
- move from yacc to bison so that I can choose the output name
- Hide a bunch of private functions used to parse the automaton from
  file
(more to come)

Hopefully, I didn't break too much stuff on my way

Check if the host is down after a execute in SIMIX_execution_finish (to avoid the case where the process could have the control back whereas his host is down).

Check if the host is down after a communication

Prevent TRACE_msg_process_kill to be called more than once

Add TRACE_msg_process_kill to the list of functions executed at the end of a process when trace is enabled

Remove obsolete files.

Not sure about mk_win-dist.sh.

Merge remote-tracking branch 'origin/master'

model-checker : fix debug message

Remove dead code from MSG

Update masterslave_cloud tesh file

[simdag,dotloader] clean the valgrind output

Don't give control back to user after a process is killed.

Check if the host is down in SIMIX_post_process_sleep.

model-checker : end of cleanup for stateful and stateless model checking

let model-checking compile without supernovae activated, too

useless cosmetics

model-checker : update examples with new function MSG_init

model-checker : unused variable

remove useless check that will never detect any issue

model-checker : factorization of code for model-checking of safety properties in stateless or stateful

model-checker: remove unused examples

Deprecate functions MSG_global_init() / MSG_global_init_args() in flavor of MSG_init()

Clean some files and target

Cleanup in SIMIX_process_on_exit_runall

Fix bug #14412 (Killing a SIMIX process just after migrate won't work)

Fix commit 825fb3d5095e6cce48885d1d04ab1ec3823dae6c

Call simcall_set_category after simdata->compute is set.

Also do some reindent.

pebcak protection: some day, someone will use a different version to compile and to link. Be prepared

Move SIMIX_process_on_exit functions to public

remove some trailing spaces

event trace generation : improving some functions

typo

MC checkpoints implies MC

meaningful pebcak message: you need to compile MC in to use it

more informative documentation of cmake option, and kill dead cmake code

more on testing the dotloader
dot_test2 has some strange unstable behavior. remove it from the tesh
for now

model-checker : remove unused example

model-checker : new surf configuration mc-checkpoint

Revert "model-checker : add new surf configuration mc-checkpoint"

Need more modifications

This reverts commit 997b2f3f37f1b2ee77b2dfbf82c70e183a5ed5f3.

model-checker : add new surf configuration mc-checkpoint

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

Add on_exit support on SIMIX/MSG, calling functions when the process is dying (stopped)

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

beginning of automated tests for the dotloader. To be continued

oups

don't try to browse a dynar that has been freed

Don't try to dump an output if no event has been stored (because
SD_simulate wasn't called)

model-checker : cosmetics, tab forgotten

Remove unused variable

Bugfix in MSG_parallel_task_execute

Stop doing evil things in MSG_parallel_task_execute/MSG_process_sleep

Put the different model in the dtd. Permit the xml validation before parsing.

typos

Add 2 tesh files for new stuff and make them part of the testsuite

Factorise MSG_task_execute and MSG_parallel_task_execute

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

More cleanup!

add a simple explication about how to use the config options.

Remove old cruft.

It is not referenced anywhere, and the last meaningful commit dates from 2006.

Memory leak fix

remove some useless output on workstations

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

make use of the newly introduced MxN data redistribution and actually
autoschedule one such task

works better once tested

Use the same way of checking the state of the communication in process_sleep.

Replace usleep for nanosleep

Bugfix of the previous commit.

Remove unused file.