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.

Also set MPI_ERROR in smpi_empty_status.

Remove unused script.

be case insensitive when trying to change main name in F90 files

add mpi_testall binding for fortran

Cosmetics: add space before dot.

Using memcpy looks a bit overkill here.

Remove spurious brace from error message.

Remove remaining traces from synchronized dynars.

Had to add some #include "xbt/synchro_core.h".

Increase tesh timeouts for slow machines.

Make test reproducible on slow machines.

Csmetics: algin braces.

Remove declarations for undefined functions.

Use xbt_XXX_is_empty() instead of testing xbt_XXX_length() against 0.

XXX is 'dict' or 'dynar'.

Simply say func(...) instead of (*func)(...) when func is a pointer to function.

Use CATCH_ANONYMOUS whenever possible.

Replace, when possible, calls to bprintf() by calls to xbt_strdup().

Also comment declaration for now unused variable.

Remove unused static functions.

Remove declarations for undefined functions.

Declaration for static functions in header file does not make much sense.

[trace] fix tesh, changes only in event ordering, same number of links kept

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

Fix recv/irecv with bounded rate

[trace] fix simdag tracing tesh (change in event ordering only)

[trace] remove useless if, fix identation

[trace] correct place to keep route allocation + free

[trace] add debug messages to debug graph extraction in network models

- only in generic_get_graph for now

[trace] cosmetics and typos

[trace] useless declaration

New version of recv/irecv with bounded rate

Remove commented code from surf_routing_cluster