model-checker : fix comparison of local variables

model-checker : initialize equal_to in mmalloc heapinfo

model-checker : memory free

model-checker : extend ignore mechanism with new user primitive MC_ignore

model-checker : remove fprintf -> XBT_DEBUG

model-checker : update tesh

model-checker : update chord example for exhaustive exploration with MC

model-checker : udpate debug information

model-checker : fix DPOR with visited states reduction

model-checker : add min and max values for MC_RANDOM simcall

model-checker : rename MC_max_depth(int prop) -> MC_cut()

model-checker : fix dot_output with DPOR

document SD_config

start to design a test for storage management in SimDag (very very
preliminary for now)

Simdag users may also want to change SimGrid configuration in the code
too (to switch to workstation/model:default, for instance)

at least give an existing model as example ...

add a SD_workstation_storage_get_list as a first try to add storage
management to SimDag.

small simplification

add new simdag function upon user request.

update the other tesh for chord example

disable random lookup in Chord (tesh examples fail)

update chord.tesh

model-checker : update CMakeLists

model-checker : remove dead file

model-checker : remove duplicated example chord

implement check_predecessor and random_lookup (periodic protocols) in Chord example

cosmetics

model-checker : remove obsolete examples

model-checker : remove dead code

model-checker : new primitive MC_max_depth, to define a maximum exploration depth in user code

model-checker : update tesh files

model-checker : fix DPOR with timeout

model-checker : include simcall number in request_to_string

model-checker : snapshot comparison with the types of variables and cleanup

model-checker : comparison of number of processes and bytes used in heap done twice, remove one of them

exclude tests, don't include them.

Add simple autotuning selector for collectives
For now, it loops over existing ones and benches the time for each process and the maximum time.
It outputs the shortest collective found for each process, and also the global shortest.
A rollback feature should be added to allow correct continuation and simulation.
This is still experimental, tests are not generated, it can be called with --cfg=smpi/collname:automatic
For now we don't check for input values, so some algorithms will fail (because they need power of 2 or even number of processes, mainly). Checks should be added

generate unique names, but easier for debug

deactivate f90 tests with MC, which caused problems

one of the two ci configurations kept failing, attempt to fix it

remove now useless debug messages

Set MPI_Request to MPI_REQUEST_NULL whenever a call fails

guard against potential segfault when used before initialization

add an include to please ci

changelog update

fix behavior of MPI_STATUS_IGNORE and MPI_STATUSES_IGNORE with fortran

typo + compile without fortran

smpif90 changes (force gfortran for now), replace "use mpi" by include "mpif.h"

add fortran 90 tests

Fix potential segfault

add one binding

fix behavior of waitany

oups forgot to describe new parameter

don't allow java to attach user data to file (for now ... if a java
expert wants to deal with this, welcome)

update examples with new prototype for open

Allow users to attach arbitrary data to opened files

remove f77 attr tests

missing file

only use MPI_SOURCE when necessary

switch cmake variable names

cmakelists cleanup

Add (some) mpich3 f77 tests

have smpiff work on temporary file copies
bad for debug, but allows -j flag to work with multiple targets using same file

correct a few mistakes with waitall, waitany, wait

make fortran new bindings almost functional

add two more functions

fix MPI_Initialized

Update changelog

remove references to old test suite

wrong (but still unimplemented) function was used

add "a few" fortran bindings

remove problematic (and unused for now) test from build

Include directory is in source_dir, not in binary_dir.

Fix doxygen warning about parameter name that did not match the code.

Remove useless file.

(try to) fix tests

missing files

missing file for test

fix build and dist, add missing folder

remove older mpich test suite

Add mpich3 test suite, to replace older one.
This one is more complete, but a lot of tests are for MPI functions not supported in SMPI
Lots of tests are disabled, and some folders not (yet) included.

change some behaviors with MPI_IN_PLACE

change algo chosen for pairwise, to work with non power of 2 number of procs

initialize variable

usless and buggy line

remove MPI_COMM_WORLD references from star-mpi collectives

Increase timeout for test java-async.

Fix MSG_storage_get_free_size() and add MSG_storage_get_used_size()

fix unitialized

remove a few leaks and memory errors

MPI_Iprobe should return flag=true when asked with stupid parameters

MPI_UNIVERSE_SIZE is initialized at runtime with MPI_COMM_WORLD

fix MPI_Group_range_excl

fix usage of MPI_Initialized before run

exscan non commutative fix

Copy the group when doing a comm_split, to avoid to have shared objects with reference counters.

Crash with message when trying to use a log level that is not allowed (without enable_debug, for example)

revalidate tesh file with dump output

want the value not the address

Finally succeed to bring back all the needed information from SURF to
MSG in one simcall. Dynars are my friends ;)