model-checker : parallel system state comparison for safety MC

Initialize arrays at declaration, and remove use of deprecated bzero().

Use keyword "extern" on windows too, and hope to fix build warnings.

Concerned warnings are, for example:
./src/include/smpi/smpi_interface.h:29:43: warning: array mpi_coll_gather_description assumed to have one element [enabled by default]
./src/include/smpi/smpi_interface.h:37:43: warning: array mpi_coll_allgather_description assumed to have one element [enabled by default]
./src/include/smpi/smpi_interface.h:45:43: warning: array mpi_coll_allgatherv_description assumed to have one element [enabled by default]
./src/include/smpi/smpi_interface.h:54:43: warning: array mpi_coll_allreduce_description assumed to have one element [enabled by default]
./src/include/smpi/smpi_interface.h:63:43: warning: array mpi_coll_alltoall_description assumed to have one element [enabled by default]
./src/include/smpi/smpi_interface.h:71:43: warning: array mpi_coll_alltoallv_description assumed to have one element [enabled by default]
./src/include/smpi/smpi_interface.h:80:43: warning: array mpi_coll_bcast_description assumed to have one element [enabled by default]
./src/include/smpi/smpi_interface.h:89:43: warning: array mpi_coll_reduce_description assumed to have one element [enabled by default]
./src/include/smpi/smpi_interface.h:97:43: warning: array mpi_coll_reduce_scatter_description assumed to have one element [enabled by default]
./src/include/smpi/smpi_interface.h:105:43: warning: array mpi_coll_scatter_description assumed to have one element [enabled by default]
./src/include/smpi/smpi_interface.h:114:43: warning: array mpi_coll_barrier_description assumed to have one element [enabled by default]

Cosmetics around spacing.

Whitespace cleanup.

Avoid to put empty components in LD_LIBRARY_PATH.

More substitutions for the smpirun script.

cosmetics

(for now?) we generate libsimgrid.dll, and not simgrid.dll as cmake used to think.

fix win installer

model-checker : typo in NEWS file

model-checker : update NEWS file

model-checker : update Changelog

rewrite history :)

improvements

move XBT away (not that important), and add the preliminary DVFS stuff

start to fill the NEWS file

as we replace the path to tesh by a variable, memtest generation was not working properly

syntax error that breaks Java Windows compilation on amd64

remove ugly quotes

for out of source builds and testing, we should use this version of the smpirun script

as win does not support ucontexts, use raw as the default factory for this platform

ctest does not want to execute scripts without the shell provided explicitely

model-checker : fix detection of dangling pointers in system state comparison

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