model-checker : fix bugged mutual exclusion example in SMPI

model-checker : update system state comparison

Use word 'bytes' instead of 'octets'.

Merge pull request #2 from cemsbr/master

Fixing introduction.doc links

Add --cfg=path:..., for out-of-source builds.

Those file need to be listed for "make distcheck" to succeed.

Fix file name (plateform -> platform).

Choose integer size according to MPI_ADDRESS_SIZE.

Same idea as commit fb02e400aa6b82543ea0f6310d230e38f5c2a5e6, but for Fortran77 tests.

This is not a valid executable.

remove bin

Prepare test suite for msg-storage "ctest -R msg-storage"

Fixing introduction.doc links

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

same thing, forgot some

for one reason or another, Win hates forward declarations of main ..

fix win java build

enable java build on win

Set MPI_ADDRESS_KIND and MPI_OFFSET_KIND to 4 on 32 bits archs.

This is consistent with the definition of MPI_Aint (ptrdiff_t).

Add -g to Fortran compilation flags.

better OS detection

no more tesh target on win

update perl version of tesh with sorting, trimming ..

Change MSG_host_get_storage_list function + update simdag-io example

documentation improvement

Determine assembly flavor at a single place.

In smx_context_raw.c, check if variable exists *and* has a nonnull value
(and not only if it's defined).

Unused variable.

Setting the stack size works for threads too, since commit 3cdd0ac83adfa4f28b05b4c1961555e5203bc6a8.

Simplify rules, and hopefully make them match with different variants of the library.

SMPI_DEP does not exist anymore.

Use CMAKE_C_COMPILER_ID to determine if compiler is gcc or not.

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

Fix MSG_storage_get_content function

Quick fix of doxygen comments.

Remove now unused parameter "default_value" for xbt_cfg_register.

Its usage was too problematic:
* it required a pointer to a variable containing the default value
* strings needed to be duplicated
* booleans needed to be given as ints
* callbacks were not called

You should use xbt_cfg_setdefault_* instead.

Dig through git history, and update copyright lines.

Note that:
* only existing lines are updated
* dates already written were kept
* missing dates were found with "git log --format=%ad"

Adding a copyright notice to files where it's missing is left as
an exercise to the reader.

++Suppression.

fix distrib for win (and try not to break it for linux?)

fix build

removed file for win packaging

file not in the webcruft dir

empty struct means trouble, add a dummy field for now

mimic host behavior, works better this way

prevent using garbage in data field

move things to a righter place

model-checker : init var

Revert "remove some tests from memcheck tests. They purposely do not finish cleanly."

This reverts commit ba1f3739923acc4b5b17d969ec1f28168d19d741.

Uncomment code to avoid warning

add msg_storage_priv_t creation

More Valgrind suppressions, for libcgraph.

found a hidden unsigned long

here was the leak ...

some corrections while chasing leaks

leak--

Use new suppression file with Valgrind.

Add supression file for Valgrind.

model-checker : increase timeout

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

MSG_storage API improvements (or not)

remove some tests from memcheck tests. They purposely do not finish cleanly.

close cleanly test for valgrind to be happier

Fix indentation.

Repair build.

Remove useless lines.

Avoid to leave stale temporary files.

shared allocations are disabled on windows, do not test them

double definition makes windows unhappy

interacting with jenkins on a windows VM through git is a pure instant of joy

try to ensure that the tesh script is executable on windows

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

model-checker : fix system state comparison (I hate dangling pointers ...)

me stupid. Sorry

Other try to get lto working on windows

and now with the correct cmake syntax

try to get the win build working despite gcc bugs

one more leak

windows doesn't provide/need this call

first attempt to fix win build

also test allgatherv replay (in its new format)

few more leaks

change execution rights on build scripts

more leaks

update changelog

test leak --

smpi leak --

missing prototype

Power state list was shared between hosts of a cabinet (but not for cluster)
This lead to issues when trying to free the memory at the end.
Either we had to implement a reference counter to dynars, or have one copy for each host.
As it was already done for clusters, let's do it the second way.

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

Add MSG_storage_set_property_value function

simplify way alltoallv and gatherv are described in the traces and
replayed. the disps arrays are useless from our point of view.

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

Add MSG_storage_get_content function

remove a leak on almost all simdag tests

More memory leaks.

The full dynar is not used here, delete it.

Also delete allocs_metadata.

Free loc, which is unused in this path.

Fix use after free (data is removed by the call to xbt_dict_remove()).

leak --

leak --

leak --