ouch, I've lost an eye on that

try to get /some/ info from the cdash by not intentionaly breaking the tesh files

more cruft to ignore

chord: avoid duplicate call of MSG_comm_test()

Commit caffead (exactly one year ago!) introduced a duplicate call to
MSG_comm_test(): MSG_comm_test() could return true on line 336, and
then be called again there. That caused a crash since the communication
was already finalized in the first MSG_comm_test() call.

list bug fixed in SD_simulate

fix an issue that occurs when SD_simulate is called with a positive
value (simulate for X seconds). The simulation does not always stop
after the expected duration.
Cause: The "less than" test is sometimes tricky with doubles.
Fix: Replace by "difference smaller than 0.00001 (the maxmin precision).

+ indent
+ one more verbose message

Compilation with warning flags

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

Finish the tutorial for new model and api

model-checker : display malloc backtrace according to address

Oups rename function

Add first steps to explain How to add a new model in Simgrid

First steps for making a tutorial on How to create a new API in Simgrid

add better support for MPI datatypes extent values (to correct behavior of gather/scatter of these structs)

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

Fix compilation warning.

src/mc/mc_checkpoint.c:480: warning: cast from pointer to integer of different size

Increase timeout in pmm.tesh.

Return immediately if p==NULL.

Prevents valgrind from beeing hung at exit on a free(0).

New cmake option "enable_mallocators", useful to disable mallocators.

Include standard header files after local includes.

It should fix the build on Debian Lenny (oldstable).

Define _GNU_SOURCE in xbt/misc.h, so that it's defined across full build.

model-checker : forget regions corresponding to libsimgrid for each snapshot

add libunwind-devel package for fedora

[example,smpi,MM] remove the specification of parameter per a file
                  - improve the upkeep of the code

add tesh man to cmake

Fix memory leaks in msg_pmm.

Use 1/0 instead of false/true (*flag is an int).

Include is missing when building with tracing=OFF.

Add msg-pmm to the list of tests to run, and fill up pmm.tesh.

Cannot use a dsend here, or it will be aborted when the process is terminated just after.

Check for errors from MSG_task_receive.

Avoid to fail when we cannot read the output of addr2line.

Typo.

add tesh man

add pmm.tesh

function check_fraghead to detect mmalloc metadata corruption

commit my deployment for testing the model-checking of Chord

[examples,smpi,MM] remove a useless function

[examples,smpi,MM] get some positive value for the time

Merge remote-tracking branch 'origin/master'

Remove:
examples/smpi/MM/timer.c
examples/smpi/MM/timer.h

[example,smpi,MM] remove the timer interface which is useless here

An empty body for this if statement looks wrong.

Regenerated.

Abort if getline failed.

Remove unused function.

Declare static functions in c file.

Remove needless declaration of static function.

Remove declaration of static functions from header file.

Also exchange the order of the functions in c file, and avoid a forward declaration.

Expression is in fact of type ptrdiff_t, and modifier is %t.

An inline declaration without definition does not make sense.

Remove generated file after test.

Reorder includes.

Only include math.h after having changed _*_SOURCE.  Otherwise, strange
errors may appear, depending on what's included from smx_private.h for
example.

install libunwind for model-checking

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

Always initialize variable.

Use %z modifier for type size_t.

these files were added recently

shunt a warning, quite dirtily

forgot to handle MPI_ANY_SOURCE as a valid source, they were caught as invalid

add a few tests for smpi

[examples,smpi] remove warnings and resolve a bug (I hope I amn't sure)

improve a comment

Add a tesh file for smpi vector

Merge remote-tracking branch 'origin/master'

[smpi,example] an example of matrix multiplication with non contignous memory
I hope this example is relevant and could increase the coverage

set size to -1 for free fragments in new fragmented block

set value -1 in unsigned short cannot work fine ...

set size_used negative for free fragment/block

try harder to break mmalloc wrt double-free

Merge remote-tracking branch 'origin/master'

[smpi] correction bug for detached comm

      -all the test passed bug on real exemple it doesn't work
      I have to found why and where to free these requests
      Sorry for the introduction of this bug.

UNLOCK forgotten before THROWF

checks that double free are correctly detected

check if free on fragment already free

add the new mmalloc test to the testsuite

better integration of this test in our framework (like, use XBT for the logs and such)

Bug fix in mrealloc where the previous content could get lost

When reallocating a large block, mrealloc tries to be cleaver and
first frees the area before requesting it again to avoid a copy if
there is some free adjacent memory.

This trick obviously don't mix well with the mmalloc memseting the
allocated memory to 0 before returning it.

So, split the mmalloc in two, and use the non-memsetting one from
mrealloc.

we all love debug informations

add a basic tesh test about mmalloc

kill a very old TODO file. We don't care of running mmalloc between several (system) processes

we need the simgrid library too. True story.

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

make it compile in a recent tree

add executable chord_before_dsend in CMakeLists

version of chord before use MSG_task_dsend

model-checker : restore struct smx_ctx_sysv in smx_context_sysv.c

Don't turn warnings about variables possibly clobbered by longjmp into errors.

Gcc is currently not smart enough and sometimes spits spurious warnings.

Declare the function as static, and make the compiler happy.

Also revert "add a declaration to remove a warning"
There's no need to make this function public.

This reverts commit ce0d4e3a7a5045051980d849700960a78ec78cfb.

Use binary dir for bindir, and cd to home dir.

add a free method for datatypes

model-checker : forget include ucontext.h for struct smx_ctx_sysv

model-checker : test if variable is initialized (warning with optimizations)

model-checker : ignore differences in data segment of binary due to .plt section

model-checker : remove maestro stack from stack comparison

model-checker : cleanup in mc examples

model-checker : forget to remove unused variables

Get local variables in binary and libsimgrid.so and their values for each system state and compare them for state equality detection (to complete if optimizations are enabled)

model-checker : remove unused variable with debug mode disabled

model-checker : extend MC_ignore mechanism for global variables in libsimgrid

model-checker : display information about variables for comparison of local variables