model-checker : fix sort of acceptance pairs

model-checker : add debug message

model-checker : ignore some information for system state comparison

init request real_src

model-checker : detect pointers on a part of a fragment

model-checker : fix centralized mutex example

model-checker : update bugged mutual exclusion algorithm

model-checker : automaton state comparison removed with parallel comparison, fix it

empty lines made win unhappy

Use a large hammer to have Perl tesh actually comply with most of the existing suite.

have perl comply a little bit more to what existed before

file was put in the wrong folder ...

Kill some memory leaks.

Exit cleanly on error.

Add tests to check that the expected context factory is really used.

Typo: contexte -> context.

Slight reordering.

Delete obsolete files.

parameter order was not changed in java bindings

Include path to Diff.pm file in the perl script

Update msg-storage tesh

Change parameters order for msg_file_read, msg_file_write and in all their internal layers

Even printf does not follow the standard on Windows.

Try to fix this.

Some teshes needed to be sorted because order in windows may be changed

command line = command line, options = options

Fix format specifiers for sg_storage_size_t.

Small fixes in type names.

Use homogeneous dicts which are more efficient.

adapt perl tesh to handle timeout from command line, and defaut to 50 for windows\nThis avoids some processes that hang at 100% cpu if ctest timeout is reached

(temporary) add test to insult windows user if his jvm is 64 bits

use ; to separate path on windows instead of :

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

Introduce sg_storage_size_t type

Introduce sg_storage_size_t type

Fix the storage content update after a write action + remove useless loop

Try to exit in a more valgrind friendly manner when help is requested.

Guard against jedule being null.

Centralize declaration for _sg_init_status (renamed to _sg_cfg_init_status).

Remove "default" factory.  The real default is chosen in sg_config.c.

Further improve help message.

Improve help message about available context factories.

Fix default context factory.

sometimes, on windows, cmake answers weirdly to this and rawcontexts aren't built

model-checker : fix memory leak

model-checker : fix removal of a visited pair in liveness MC

model-checker : parallel system state comparison for safety MC

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

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

Clean up MSG_host_get_storage_content

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.