renaming properties to platform-properties

a couple of rewritings

try to read/freshen/improve/... our doc

[mc] Ingnore the output of the liveness test and only expect an acceptance cycle

On my compter, the exact size of the cycle depends on the compiler
used (GCC 4.9 vs GCC 5.3).

end of unalvinifaction of msg tutorial

Attempt to improve lifecycle of MPI_Comm and MPI_Group.
Maybe this will remove some leaks. Maybe everything will crash and burn.

oops for windows

log to stderr to fix an output ordering issue on windows

[INSTR] Remove duplicated code in new_pajePushState()

Plug 2 memleaks

another leak dies

spellchecking instead of sleeping

update appveyor to latest renamings in examples/java

kill MSG_gpu_task_create. Was unused and unusable

plug some easy memleak

update the NS3 documentation

don't leave debug messages

Add an informative verbose message when entering MPI calls.

memleaks -=2

Try to handle more cleanly MPI Datatypes. Still not good enough.

This caused an invalid read in replay_multiple, as rank in comm !=index.

suppress a libc problem from valgrind output

[mc] Increase the timeout of the liveness tests

[mc] Fix error in computation of Frame range when DW_AT_high_pc is a virtual address

The begin() address was set instead of the end() one.

[mc] Fix ObjectInformation address computation

[mc] Disable (for now) umpire test which never worked

We should try to get them working at some point however.

RMA requests were not marked as detached, causing some bad frees

sometimes, maxdims is too much

keep in mind the size of sub-datatype, to avoid some illegal copies

don't break mpich3 tests with coverage on

wip... unalvining the tutorial

commit log highlighted another typo ;)

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

fix a typo in the Makefile we propose to our users

save a couple more lines

oops

activate mpich3 tests on dynamicanalysis jenkins

Allow mpich3-tests to run with valgrind

[mc] Add missing XBT_PUBLIC() in config.hpp

[mc] Fix loop bound checking using heaplimit

plug a bunch of memleaks

fix the documentation of the statefiles

Clear errno when throwing an errno exception

Add documentation (and errno_code()) to system.hpp

Update the changelog

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

trim what you can't kill

Revert "What's not malloced cannot be leaked"

This reverts commit a7c05e186c0c2c4555d127909c1898f0668c050c which
breaks some MC tests.

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

play with mpich3 cmake files

Rewrite/simplify the C++ flag declaration

C++-style flags are all registered as xbt_cfgelm_string. I'd be in
favor of removing the other types in order to simplify the code.

Use new/delete for s_xbt_cfgelm_t

This way we can use std::function and other C++ types in it.

Move the config.c code in C++

This is done in order to prepare a better/cleaner integration of C++-style options.

end of MSG examples doc revision
 + back to 3.12 "quality"
 + should be completed with other modules (cloud, energy, ...)

Allow parallel dynamicanalysis

revise I/O examples doc
 + merge file and file-unlink, the latter was redundant but for one
function

storage: plug a dumb memleak

What's not malloced cannot be leaked

The core of this change is the following:
--- a/src/surf/xml/platf_private.hpp
+++ b/src/surf/xml/platf_private.hpp
@@ -91,7 +91,7 @@ typedef struct s_sg_platf_route_cbarg {
   const char *dst;
   sg_netcard_t gw_src;
   sg_netcard_t gw_dst;
-  std::vector<Link*> *link_list;
+  std::vector<Link*> link_list;
 } s_sg_platf_route_cbarg_t;

-----------

The rest of the changes are just code adaptation to that change.

plug a memleak in Threaded maestro creation

NS3 tests: reduce the amount of exchanged data to speed things up

plug some more memleaks

plug a memleak

remove an old cruft from MS Visual

remove now useless files

Don't cleanup valgrind files in coverage ...

File now has a new name.

remove include

new cleaner attempt, using TESH_OPTION

Attempt to have dynamicanalysis working again.

fix and correct async detailed example

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

revise ns3 documentation

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

refresh the 'Setting up your own code' part of the documentation

revise documentation of tracing examples

revise documentation of async examples

typos and useless register

useless MSG_function_register

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

wrong option in the test gave rarely different timings on some systems.

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

gcc 6 warning --

[mc] Fix this != nullptr remaining from previous refactoring

[mc] Remove unused declarations

[mc] Remove spurious declaration (remaining from previous commit)

[mc] Move the remaining restoreState() into CommuinicationDeterminismChecker

[mc] Duplicate restoreState() as a method of SafetyChecker

* it is much simpler in this form;

* we should focus on making a nice Session API for SafetyChecker and
  then expand it for other algorithms.

[mv] Remove soft-darty tracking

* the code handling this is quite a mess;

* let's have a clean codebase before trying to optimize to much.

[mc] Rename replay() function to restoreState()

because sometimes we restore the state without replaying anything.

document all process- examples

rework doc/html/examples.html#MSG_ex_master_worker

[mc] Move mc_global stuff into CommunicationDeterminismChecker

Get rid of initial_global_state.

[mc] Move mc_global stuff into LivenessChecker

This gets rid of initial_global_state in LivenessChecker.

[mc] Move initial state into Session

We can get rid of s_mc_global_t in SafetyChecker.

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

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

typo--

[mc] Remove useless bits

[mc] Move MC_report() functions as static functions where they're used

[mc] Remove mc_stats and move remaining stats in ModelChecker for now