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

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

add process-kill to the list
  of documented examples
  format the output too

have uniform log format for the same example

one step further in documenting MSG examples

kill an unused layer of code

rework documentation for
  + pingpong
  + master-worker
  + process-migration

cosmetics

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

revisit examples/msg/sendrecv
 + now this really is a ping-pong example as stated in the
   "documentation"
 + We said "It's hard to think of a simpler example", well now this
   statement makes sense ...

try to get rid of random crashes in RMA.
dynar_to_array releases the win->requests array, allocate the new one immediately after.
Because if we wait after the mpi_waitall, we may have other processes try to add requests in the old one.

useless psychotic cleanup

__FUNCTION__ is now in the standard

just opened Pandora's doc ...
  which is full of all possible illnesses ...

3 more renamed tests

[mc] Remove the ugly is_in_vector() hack

[mc] Move resolve_process...() as methods of Process

[mc] Remove old commented-out code

Those functions do not even exist anymore.

[mc] Remove useless MC_MODE_CLIENT paths

[mc] Mark some remote pointers as such

[mc] Misc. comments

[mc] Mark xbt::string as a hack

Don't check value of an output .. it may be uninitialized, obviously

oups, forgot to adapt MC to my last change in config

fix the binary name to test Lua

scaling tests are not welcome in the regression testing

Plus the scaling of the VM solution is easily tested with other ones,
that are in addition maybe more expressive to newcommers.

further tiny commit in xbt_config. that's not multivalued anymore

[mc] Remove orphaned declaration

[mc] Sort out FIXMEs and TODOs

[mc] Debatably better documentation of State

[mc] s/value/req_num/ because 'value' does not convey any meaning

[mc] Remove the client-side processing in simgrid::mc::handle_simcall()

[mc] Get rid of the ugly "value" out parameter in MC_state_get_request()

[mc] Remove MC_state_get_internal_request()

[mc] Remove MC_state_get_executed_request()

It claims to get the executed request but actually does something else
at the same time.

Fix some tests failing in out of source builds

[mc] Add Factor some gorry code to State::getRecordElement()

Avoid using should-be-private-stuff oustside of State.

[mc] Simplify/unify the interleeaving/exploration logic

* MC_RANDOM was using a different mechanism from its friends in order to
  keep track of which transition was already executed;

* document the different fields;

* add methods.

[mc] Get rid of MC_state_set_executed_request() in order to simplify the Checkers

[mc] Document/cleanup State

ns3: ignore the output as it changes with the version

search for NS3 v3.25 now that I uploaded it to debian

config: kill unused functions

Same thing. But working, this time.

Try to fix win build - may not be enough

fix two teshes for out of source buiilds

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

attempt to please jenkins

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

[mc] Remove MC_state_remove_interleave_process() (not used)

[mc] Use nullptr consistently in C++ code

[mc] Fix #includes