[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.

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

fix distcheck

mv some app examples in app- folders
 + kill one old masterworker
 + update failures examples

fix rm

Add MPI_File* bindings to SMPI, even if they are unimplemented.
We should add a better way to add unimplemented code without generating this much dead code ..
Even if this dead code is a placeholder for a potential future implementation..

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

actions-mpi becomes actions-comm
  + allow us to keep an example of such trace replay
  + stop misleading MPI users, this is not MPI replay, just comm replay

xbt_config: kill an unused feature: multivalued variables

xbt_config: kill an unused feature: unregistering variables

xbt_config: kill an unused feature: unsetting values

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

We never use a second configuration set, so simplify the API

the binary used to test lua moved again

reduce stack size for cloud example (weirdly only crashed 32 bits nodes)

end of reorganizing cloud examples
 + and finally test some of them
 + redesign scale test to avoid timers

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

start to rename cloud examples
 + cloud-multicore is not tested: raise an issue with set_affinity

reindent

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

further rework the config handling. Still much to do

[mc] Make Checker implementation private

* XBT_PRIVATE symbols;

* header files only used inside the .cpp file.

Fixes a symbol visbility mismatch warning.

[mc] Fix #includes

[mc] Fix warnings

[mc] Use std::unique_ptr for States

[mc] Get rid of the global simgrid::mc::visited_states, use a class instead

[mc] Move VisitedState stuffs in their own .c file

[mc] Reindent is_visited_state()

[mc] Rename SafetyChecker::is_exploration_stack_state() into checkNonDeterminism()

[mc] Move the stack as field of SafetyChecker and CommDetChecker

[mc] Use std::list instead of xbt_fifo for mc_stack

[mc] Different/private mc_stack variables for SafetyChecker and LivenessChecker

[mc] Use shared_ptr for liveness propositions

Fix #includes to automaton.h

clean and simplify

fix this untested example
 + exception use absolute path in trace, hardly reproducible

The usual sunday night fix :
I don't want to know why it's this way or change it, just fix the build and go to bed

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

further rework the option mechanism

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

start refactoring the option handling

start to shrink mpich3-test cmake files

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

compile sg_config with g++ too

- This should be the last C part of the simgrid kernel.
- Only the APIs and the xbt remain in C now
- This will allow further unCification in the internals.

tiny cleanups in the VMs and links

Remove the properties from the host constructor