model-checker : remove unnecessary comment

model-checker : move creation of initial_state_liveness in MC_init_liveness

model-checker : add size of stack in parameter of the function MC_new_stack_area

model-checker : getter function for chunks used in heap

model-checker : use statistics already included in heap struct for the comparison of fragment/block used

model-checker : initialize global variables

model-checker : enable WaitTimeout requests only if cfg flag model-check/timeout:1

model-checker : new command line flag (model-check/timeout) to enable/disable timeout for wait requests with model-checking

model-checker : initialize variables (compilation error with optimizations)

model-checker : add debug information on processes enabled for each state

model-checker: add chord example for liveness property model checking

model-checker : initialize global variable ignore_done and set its value to 0 at the end of heap comparison

model-checker : remove backtracking if no more request to execute in system state, search evolution in Büchi automaton

model-checker : comment trigger for state equality detection

model-checker : improve debug information for stacks comparison

model-checker : add local variables from xbt/ex.h in ignore mechanism for stacks comparison

model-checker : ignore some local variables from xbt/ex.c for stack comparison

model-checker : update examples for test snapshot comparison

model-checker : memory free

model-checker : verification of current_heap

model-checker : add ignore mechanism for comparison of local variables

model-checker : remove declaration of unused function

model-checker : fix dynar index in algorithm to get local variable location

add a tesh file and test for two already existing tests, to improve coverage of smpi_bench.c from 15% to 68%

handle MPI_UB and MPI_LB for real, activate tests in the test suite for this (and deactivates sendrecv4 which was working by accident, as MPI_BOTTOM is not handled)

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

Add an example of generated pdf from simgrid scalability

replace explicit smpi_sleep calls I introduced in some examples by sleep ones

quick fix that hopefully won't break too much compilation ... the second parameter of gettimeofday should never be used, and its type changes on some systems (void* or struct timezone*). As we don't need it, I just removed it from smpi_gettimeofday, which now takes only one parameter

do not fail when building smpi without f2c, as it is now possible

move defines frmpo smpi.h to mpi.h, to avoid using them when compiling smpi (the sleep one did weird things on macos platforms). They should be used for client codes only

remove todo, once done

Change parse for exec to be complient with simgrid-scalab

Oups

Reused mem check in pipol

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

Remove all navarro into source of pipol

Variable is unused, remove it.

use MSG_host_set_property_value everywhere

better to use a function that exists than dealing with the underlying
data structure directly
test two other uncovered functions while at it (update tesh accordingly)

Correct way to use CTestCustom.cmake

small change for future fortran tests in context folder

add changes to previous commit on ctest

correct behavior of smpi_group_excl and  smpi_group_intersection functions, and activate the group_test test frop the mpich-suite

modifiy alltoall test to cover all 3 algorithms currently implemented in smpi

add a CMakeCustom.cmake file, which is automatically used by ctest to handle custom commands. these were inside CtestPipol.cmake, and were ignored (see kitware.com/blog/home/post/27 for details about why they force this file). The coverage has dropped in the cdash, due to the fact that we now calculate the coverage based on simgrid files only, not on test files ..

Add docs

Cosmetics

Update target sync-pipol

Add a new target for update pipol scripts

Comsetics. Replace exec_program by execute_process

Fix compilation error.

src/smpi/smpi_mpi_dt.c:156:10: error: no previous prototype for ‘smpi_datatype_get_extent’ [-Werror=missing-prototypes]

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

Fix doxygen table generation

handle nested datatypes in smpi (structs of vectors for example), which previously were causing a warning. Activate two tests from the suite to test these cases.

Cosmetics. Remove unused part

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

Add doc for dev_guide

Force Fortran compiler name, before calling enable_language(Fortran).

Fix commit 95cd71e835559251f778c5e3676a49e881172ba6, avoiding unnecessary
cmake runs.

This variable is useless.  CMAKE_Fortran_COMPILER is used as linker.

Slight reindent.

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

Comsetic and uninstall lib lua and man for tesh

WORKING_DIRECTORY option for add_test was not supported until cmake 2.8.4, leading to issues and failed tests with previous versions

remove absolute paths from test scripts

Fix compilation without MC.

Optionally look for a Fortran compiler.

Without that, CMake complains that it "cannot determine link language"
for Fortran targets.

This is not perfect: cmake is run systematically when doing make :(

model-checker : update second parameter of mmorecore function (size is a size_t not an int)

model-checker : store initial snapshot in structure malloced in raw_heap

model-checker : don't call exit at the end of MC (segfault on atexit)

model-checker : update debug information

model-checker : remove the display of promela property

model-checker : test examples for snapshot comparison

model-checker : New public functions to take a snapshot and compare two snapshots from user application using new simcalls (simcall_mc_snapshot and simcall_mc_compare_snapshots)

model-checker : let some debug information with XBT_INFO

model-checker : check current heap

model-checker : update bprintf format for local variables

model-checker : fix memory leaks in heap comparison

model-checker : clean debug information in bugged1_liveness example

model-checker : remove files about test_heap_comparison

model-checker : process can be NULL

model-checker : backtracking if there is no request to execute

model-checker : use xbt_abort to exit MC if acceptance cycle detected

model-checker : init MC for liveness in a separate function

model-checker : if get_libsimgrid_plt_section called before first snapshot, libsimgrid_path is NULL

model-checker : display debug information with XBT_DEBUG instead of XBT_INFO

model-checker : change MC_take_snapshot_liveness declaration (snapshot returned instead of in parameters) and check heap used

model-checker : remove instruction pointer offset for local variables comparison

model-checker : stack_areas stored in raw_heap instead of std_heap

model-checker : debug information more concise

model-checker : fix some memory leaks

model-checker : first line of objdump --section-headers display complete path of elf file

model-checker : fix first parameter for get_stack_pointer (need stack context pointer instead of stack)

model-checker : ignore pointers on raw_heap in data segment libsimgrid comparison

A C++ compiler is required for gtnets and ns3.

Cosmetics.

Don't enforce to have a C++ nor a Fortran compiler.

Depending on the configuration options, a C compiler is sufficient.

Merge branch 'v3_8_x'

Also add release name in ChangeLog.

Merge branch 'v3_8_x'

Conflicts:
ChangeLog (fixed).