model-checker : fix memory leak in ddfs algorithm

Missing space, and more zu -> PRIu64 conversions.

Encode path so that it is not too long.

Some OSes, like MacOS, don't want long names here.

The path is hashed with sha1, and then encoded in base64.

Need one more byte for the terminating \0.

revalidate tesh

slightly modify the example to check that overwriting storage_type
contents by storage contents is possible

leak-- clean things at the MSG level when unlinking a file as
MSG_file_close wont be called.

leak --

use proper format

should be sg_storage_size_t here too

cosmetics in an error message

add some comments to avoid that someone breaks the MC with a 'trivial cleanup'

model-checker : cleanup

model-checker : fix memory leak

Handle inactive requests in test and wait.

Empty status when request is NULL.

Reset requests to MPI_REQUEST_NULL.

Fix the fix of commit 6d12558bf98bb09f8fc8c45527d740bf999f789c.

Remove XBT_INLINE here, some compilers don't like it.

Raise log level for this message.

Empty status in any case (plus slight reindent).

Enforce type for other MPI NULL constants.

Enforce type for MPI_REQUEST_NULL, and fix mistakes.

Thanks Marion for having noticed it.

new attempt

model-checker : ignore information about simix_global in safety MC

model-checker : update tesh files

model-checker : ignore information about simix_global

model-checker : set comm to NULL before creating them with simcall (MC compliant)

model-checker : copy/paste error

model-checker : fix detection of pointers on a fragment part

model-checker : ignore process_to_run and process_that_ran included in simix_global for system state comparison

model-checker : dangling pointer set to NULL

model-checker : set SMPI request to NULL before creating them (MC compliant)

model-checker : improve ignore mechanism for complete memory area

model-checker : restore sequential system state comparison (parallel version is slower, for now ..)

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