Do memchecks with tracing=on, now that it's enabled by default.

Put the TRY..CATCH inside a wrapper function.

Avoid spurious warnings about variables that might be clobbered by
setjmp/longjmp.

Add missing include.

The problem is visible with -Denable_tracing=OFF only.

Put forward declaration of static function in c file, not in header.

Fix TestSuite.msg-file

Make paranoid compiler happy.

flatifier: added --downgrade option to output version 2 platform files, options can also appear in any order

display on configuration output whether the mallocators are activated or not

turn off the mallocators during the memory check

git reset hard works even for Java. True story.

Git-reset should do the job here, plus minor corrections.

ahem, document the right name for the new function

rewrite the 'howto release' guide, in paranoid mode

typo in comments

cosmetics

New function: MSG_get_process_number()

enhance the flatifier so that it can be used for platform parsing performance measurement

BitTorrent: changed the way the PIECE message is handled so that it uses MSG_task_isend insted of MSG_task_dsend, and queues pending comms accordingly

BitTorrent: added reference to the report by A. Legout on the size of messages

smpicc: also reset CMAKE_LINKARGS when no linking is required (-c).

Size can be negative.  Use ssize_t instead of size_t.

Error caught by Clang:
In file included from /home/giersch/lsrc/simgrid/simgrid-git/src/xbt/mmalloc/mm.c:21:
src/xbt/mmalloc/mmorecore.c:74:19: error: comparison of unsigned expression < 0 is always false [-Werror,-Wtautological-compare]
  } else if (size < 0) {

Remove unsupported flags when Clang is used.

Also print CMAKE_xxx_COMPILER_ID.

model-checker : new cfg command line flag (model-check/max_depth) for max depth of exploration (default value is 1000)

Correct a bug in kademlia

Write the add_test(...) so that they are compatible with cmake 2.6.

Use configure_file(... COPYONLY) instead of file(COPY ...).

file(COPY ...) does not exist in cmake before 2.8.

Define macro if it's missing.

CMAKE_FORCE_Fortran_COMPILER does not exist with cmake before 2.8.1.
See http://www.cmake.org/Bug/view.php?id=10032

Protect string with quotes.

Use options compatible with older versions of git.

If several remotes are set, arbitrarily use the first one.

model-checker : cosmetics on log message

model-checker : Add statistics about comparison times for each pair reached:

- if debug log enabled for mc_compare:
  - number of comparisons done with this pair
  - for each comparison step : number of different states, comparison times (average, max, min)
- otherwise
  - number of comparisons done with this pair
  - snapshot comparison times (stopped when the first difference is detected)

cosmetics and fix ugly bug in windows code

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

[trace] bye bye triva, welcome viva

todo:
- update documentation

update doc for asynchronous send

[trace] do not extract topology graph if user ask to do so (by disabling --cfg=tracing/platform/topology)

[trace] new tracing option to disable the topology tracing as a graph

do:
--cfg=tracing/platform/topology:0 to disable it

[trace] cosmetics, platform is registered as a hierarchy, not as a graph

update doc to reflect change of the stack_size parameter

avoid setting the value of the stack size for thread factory if the parameter is not explicitely set by the user (this is a bit annoying, as it adds a global to check the initialization, but it handles the case were the explicitely wanted value is also the default one)

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

model-checker : remove chunks used comparison at the beginning of mmalloc_compare(), done at the beginning of snasphot_compare()

model-checker : unset raw heap after display of statistics if complete exploration without acceptance cycle found

model-checker : get times elapsed for snasphot comparison

model-checker : add ignore mechanism for global variables (data + bss segments) in libsimgrid

model-checker : get start of libsimgrid bss segment for MC_ignore mechanism

model-checker : typo

Shake up snapshot comparison : apply a new order of comparison
- number of chunks used in heaps
- size used in stacks
- binary/libsimgrid data segments
- heap comparison algorithm
- local variables with DWARF and libunwind

If debug log is enabled on mc_compare, comparison is done entirely otherwise comparison stops when a first difference is detected.

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

add a function in xbt to allow setting the stack size of a pthread, according to the value of the contexts/stack_size parameter (which was only raw/ucontext before)

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 timeout to compute tesh, as i386 debian is painfully slow with it and fails

as MPI_Iprobe always use a 0-sized request, do not check if this size is different from the sent one, and do not answer MPI_ERR_TRUNCATE

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