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

[mc] Use std::vector for PatternCommunicationList

[mc] Use std::vector for State::incomplete_comm_pattern (dexbtification)

[mc] Add PatternCommunication::dup()

[mc] Rename the communication pattern types

[mc] Get rid of MC_list_comm_pattern_free()

[mc] Get rid of MC_comm_pattern_free()

which is 'delete' in disguise

[mc] Remove always disabled code

[mc] Remove duplicate init in State

[mc] Fix #includes

[mc] Remove the declaration of a function which has been removed

stupid me.

further cleanups to the config stuff

- Kill unused feature: minimal arity
- Hide some internal functions and symbols

Switch to actually perform out-of-source builds.
This should expose some issues.
next step would be to rename the first "build" folder, but I want to see how this turns out first.

some cleanups in the SMPI option declarations

plug a memleak

kill a deprecated function

try to get rid of smpi tracing segmentation faults on some platforms.

jtrace: some more calls for kenenbek

jtrace: add a missing call

Replace MPI->PMPI stupid wrappers by macro-generated ones.
This will make easier to add new calls (one line in mpi.h, one in smpi_mpi.cpp for an unimplemented one)

[mc] Use std::string for request_get_dot_output() and s_mc_global_t::prev_req

[mc] Use std::string in simgrid::mc::request_to_string

[mc] Don't copy or move states (yet)

[mc] Use RAII std::vector for s_mc_comm_pattern::data

[mc] Use RAII std::string for s_mc_comm_pattern::rdv

[mc] Constructor/destructor for s_mc_comm_pattern

[mc] C++ification of State

[mc] Remove MC_state_delete()

[mc] Avoid useless stuff when logging is disabled in SafetyChecker

[mc] Create SafetyChecker::backtrack() method

[mc] Move visitedState as a field of SafetyChecker

[mc] Remove user_max_depth which back up MC_cut() for now

This variables is not set since the cross-process mode anyway.

[mc] Rename a checkNonDeterminism() to checkNonTermination()

because this is what we're doing.