model-checker : update bugged1 tesh

documentation cosmetics

fix some simple errors in the commit of Paul (not enough to compile here)

rework the SMPI documentation quite a bit

split SMPI documentation into a specific file (no real change)

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

Fix sendBounded java binding

Add colls.h to DefinePackages

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

Add alltoall collectives from starmpi

Dumb commit: kill empty line.

Kill unused variable.

model-checker : use xbt_free_f instead of a new function which do the same thing

model-checker : fix soundness of DPOR algorithm if max depth is reached

Also link with platform independent libunwind.

Initialize variables.

Generated file has changed.

Add missing declarations.

model-checker : update tesh

model-checker : order reached_pairs by number of processes and heap bytes used

model-checker : free memory

model-checker : cosmetics

model-checker : fragment size and fragment number may be negative

Add receive bounded to the java binding

model-checker : store heap_bytes_used and number of processes directly in mc_visited_state and mc_visited_pair

model-checker : update tesh (according to previous cleanups)

model-checker : cleanups

- remove (a part of) redundant code
- rename structs and variables
- update headers

model-checker : code refactoring for get_hash_global

Fix msg-bittorrent's problem of incompletion

In the previous version, a peer wasn't able to handle more than
more message per second but could receive much more. As a consequence,
the application gets stuck because of queuing issue.

The problem comes from teh main loops (leech_loop() and seed_loop()))
each call of MSG_task_irecv() was followed by a call of
MSG_process_sleep(1) because the MSG_comm_test() always fails the
first time.

A call of MSG_mailbox_set_async() at the begining fixes this problem.

: in the main loops (leech_loop)

model-checker : update msg chord example for the verification with MC

model-checker : fix tesh (different local deployment file)

model-checker : fix dpor

model-checker : fix compilation error without MC

update tesh

model-checker : update tesh

model-checker : code refactoring for heap comparison algorithm

model-checker : add state equality reduction in ddfs algorithm

model-checker : get current backtrace with libunwind (only available with ucontext factory for now ...)

model-checker : code refactoring

model-checker : ignore mc_time for heap comparison and global variables comparison

model-checker : improve debug message

model-checker : new model-checker configuration model-check/dot_output=file_name which generates a dot output of graph state explored during model checking

model-checker : return state number if the current state is equal to another state already visited

model-checker : fix MC_RANDOM simcall

Time doesn't exist in model-checking. However, there are some
protocols, such as Chord, with some periodics operations (random
lookup, check predecessors, ...).  If the model-checker is used with
these examples, these operations are never executed because of the
time which doesn't progress.  With MC_RANDOM simcall, the
model-checker will explore the two cases : the case in which the
periodic operation is executed and the other case in which it is not
executed.  In this way, the verification is exhaustive whatever the
period.

model-checker : remove obsolete example

model-checker : set ignore flag to 0 if reallocation

model-checker : minor changes for debug information in heap comparison algorithm

model-checker : check if fragment or block has been already compared

model-checker : remove local variable only if frame name is known

model-checker : remove static function

model-checker : cosmetics

model-checker : get hash of local and global variables which are not pointers

model-checker : ignore running context of processes for system state comparison

model-checker : use short instead of int for ignore information in mmalloc meta-data

model-checker : init ignore information for each block/fragment only in mmalloc

model-checker : remove commentated declaration of function (doesn't exist anymore)

model-checker : remove variable from mc_local_variables if ignored

model-checker : fix memory leak

model-checker : cosmetics

model-checker : cleanups in mc_snapshot structure

model-checker : new simcall MC_RANDOM

model-checker : fix memory leak

model-checker : get instruction pointer and frame name with libunwind for the comparison of stacks

Avoid to run the smpirun script through valgrind on memcheck.

Add new option to smpirun, for running valgrind/gdb/whatever...

Improve the printing of default values when size != 1.

Cosmetics: add space before opening parenthesis.

Check return code, and report errors.

Avoids to call MPI_Get_count with an invalid status.

Use simple arrays, instead of dynars.

Also fix the use of uninitialized values in PMPI_Waitall.

Really copy only when recvbuf != sendbuf.

And avoid to call memcpy with overlapping regions.

[doc] general update on tracing doc

Define missing function.

Remove useless statements.

Try to fix const madness.

See http://c-faq.com/ansi/constmismatch.html for a related FAQ.

Fix memory leaks in smpi.

Extend smpi_register_static to accept any free function.

Fix a few more memory leaks.

Avoid to export internal variables.

Free timer after it's been used.

Use splitted xml files, and avoid memory leaks in the parser.

Split the xml file, and destroy task, to fix memory leaks.

Fix a few memory leaks.

remove forgotten debug println

Java didn't report the same OS name as Cmake for Windows platform, force it to be "Windows"

change an include, to avoid linking from simgrid to smpi

change name of the real executed main function to a windows specific one

add smpi to windows installer

force lib names to stop changing when activating smpi on windows

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

Use correct log category.

File was removed.

Kill old commented line.

Check status also with MC.

Move test outside the loop.

Set status in any case.

Remove declarations for nonexistent functions or variables.

Remove duplicated declaration for xbt_time().

Change regexp to correctly handle types like "short int".

Remove duplicated strings.

Cosmetics: add space.