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

[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

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

Add a way to set a property on s4u::Host

rename the fields of the PropertyHolder

add a word about multi-cabinet modeling

simplify the prototype of LinkCM02 constructor

admitely, cosmetic is a bit subjective

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

slave2worker cont'd

[mc] Rename livenessStack to explorationStack

[mc] Factor out Livenesschecker::newPair()

[mc] Remove some control flow nesting in LivenessChecker::main

[mc] Create LivenessChecker::backtrack()

This simplifies its caller and avoids a weird goto.

[mc] Only #include LivenessChecker.hpp in LivenessChecker.cpp

end slavery in java world

make a REAL and simple dsend test

tracing -> trace/pingpong

pingPong -> app/pingpong

fix distcheck (dumb me)

priority -> task/priority (and task-priority)
 + fix discrepancy between C and Java

mutualExclusion -> app/centralizedmutex

cosmetics

reorg and factor examples/java/cloud

output sort is not global to the file (anymore?).
We need to set it everywhere... just for windows which displays the L07 message after the rest.

compile Java in the binary tree, not the source one

This should fix out of tree builds of the java examples

reindent a bit to get gcc6 happy, no real change

adapt appveyor to the latest changes in Java examples

[mc] Fix some XBT_DEBUG

[mc] Remove useless comment

[mc] Add LivenessChecker::purgeVisitedPairs() method

[mc] Simplify MC_automaton_evaluate_label()

[mc] Use shared_ptr for Pair

[mc] Restrict the scope of local variables in LivenessChecker

[mc] Slay some nested-if-statements-from-hell

[mc] Remove VisitedPair::acceptance_pair

[mc] Type some boolean variable as such

[mc] Remove the _sg_mc_liveness flag

It was not used anymore.

[mc] Use the symbolic values for the xbt_automaton_exp_label::type enum

[mc] No more global variables

[mc] Use std::vector for liveness {Pair,VisitedPair}::atomic_propositions

[mc] Move global variables as fields of LivenessChecker

[mc] Use std::shared_ptr for VisitedPair in LivenessChecker

[mc] Use std::list for LivenessChecker::visited_pairs

[mc] Move visited_pairs as a static field of LivenessChecker

[mc] Use std::shared_ptr for State in LivenessChecker

This gets rid of some boring code for managing the lifetime of the
State.

[mc] Use std::list for LivenessChecker::acceptance_pairs

[mc] Use std::list instead of xbt_fifo for the stack in LivenessChecker

[mc] Fix #includes in LivenessChecker

[mc] Scope the global variables in LivenessChecker

rename to match C and Java version

mv example from cloud to energy
  + to match C organization

redesign this test to match the C version
move it into the process package

kill a redudant example
  + this is a plain old master/slave. Can't find what is specific here
  + app/masterworker does exactly the same

create an app package
  + includes bittorrent and masterworker

make an io package
improve readibility and compactness of cmake file

package energy
  + first test: consumption
  + should match the C version but functions are not part of the
    bindings (yet?)

and now a dht package + cmake factoring

should fix build

define a process package in examples/java
  + comprises kill, migration, and suspend
Also found a way to factor java cmake \o/\o/\o/

full redesign of this example
 + (almost) match the behavior of examples/msg/process-kill now

get rid of dumb deployment

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

rework the most basic java example
  + no more Forwarder
  + no more Finalize Task
  + no more Slavery \o/

[mc] Remove superflous static function

[mc] -Wredundant-move

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

Massive cleanup in masterslave
  broke one test: (in masterslave/masterslave_cpu_ti.tesh,
  case w/ TI and w/o crosstraffic).
  Comment it for now at examples/msg/CMakeLists.txt:106

[mc] Remove Snapshot::is_important_snapshot()

It was only used in order to manage the lifetime of snapshot instances.

[mc] Use shared_ptr for Snapshot

[mc] Making a State a class

[mc] LivenessChecker stack

[mc] Demangle C++ names when unwinding the stack with abi::__cxa_demangle

[mc] Dump the current trace when the model-checked crashes

[mc] Let the Checker give us the current trace

Now we don't have any dependency on mc_stack outside of the Checkers
and we can make it a member of Checker and a C++ container.

[mc] Let the Checker give us the current record trace

This could probably be infered from the interaction with the Session
at some point in the future but we're not there yet.