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

[mc] Remove mc_stats.state_size (not used)

[mc] Move mc_stats.expanded_states into the Checkers

simgrid_update_xml: more explicit message when no file is provided

also provide an informative error message when Java is missing boost-context

[mc] Remove orphaned declarations

Remove useless #includes

[mc] Livenesschecker, make private stuff private

[mc] Move liveness stats out of mc_stats into LivenessChecker

[mc] Delegate some part of Session::logState() to Checker::logState()

This separates the Checker-specific code from the generic/shared code.
The session should not need to know about every existing Checker.

[mc] Move MC_print_statistics() as Session::logState()

[mc] Remove old dual-stack-related comment

[mc] Use Session::execute() in LivenessChecker as well

[mc] Remove useless model-checker/model-checked round trip

[mc] Add methods to Session

[mc] s/getRecordElement/getTransition/

simgrid::config::flag, a more declarative way to describe CLI flags

I got rid of xbt_cfg_cpy() in the process which was not used. If we
want to support it, we can:

* either provide a "copy" callback;

* or (better) use reference counts on the callback.

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

more informative message when java needs libcgraph

Change underlying datatype for some fortran ones (MPI_AINT, OFFSET and COUNT)
Add more details on which datatypes are which ones in smpi f77

Check for boost-graph

It will be used to reimplement dijkstra and floyd routings.

[mc] Rename RecordTraceElement as Transition and use it to represent a transition