[INSTR] Move to C++ and use templates

I also replaced plain old C-casts with static_cast

[INSTR] Cosmetics: Alignment of assignments.

Merge branch 'master' of github.com:mquinson/simgrid

inline a function in NS3

kill a useless element in the NS3 extension of hosts

inline a function in NS3

kill a useless element in the NS3 extension of hosts

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

kill this obscure version of masterslave

mv failure w/ cpu_ti test to the tesh

fixdistcheck (state not speed trace)

this example is about failures, not masterslave

also put w/ and w/o crosstraffic in the same tesh

this deserves the palm of the worst code of the week

more cleanups in NS3

move these traces with the others

kill unused constructors of Resources and other cleanups

+ fix constness and useless checks

Resource: rename fields

fix constness of some methods and add a std::hash<Resource>

I'm not sure that the hash thing actually works.
Gabriel, I think I need your help here.

replace an ugly field used only once with a std container

revalidate the NS3 teshs

Fix Fullduplex links with NS3

Do so by unspecializing the parsing of NS3 links compared to other models.

 => double win!

cleanups

kill gtnets examples

  WARNING new ns3 tests are broken. It's normal

reorg io examples

smooth differences between tests before merge

be rational

NOT everything is master-slave (really)
  + create new process- "category" for migration, suspend and, kill examples

icomms are async (and there is no peer!!)

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

refactor 3 more examples

[mc] Remove FunctionalChecker

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

kill tracing-gtnets examples

GTNets is not (really) supported anymore as it has been replaced by
the ns-3 plugin. these examples are maintained until they are
converted to ns-3, but there is no need to keep the tracing variant.

split actions in two dir

factor dht-pastry

reorganize examples/msg/energy

 Note the parallel_task_energy tests included the parallel_task test,
 then keep the energy one only and rename it.

[mc] Move main communication determinism code in a CommunicationDeterminismChecker class

[mc] Move main liveness code in a LivenessChecker class

[INSTR] Fix broken build introduced in 592e914799a871f2b3fb043ff4f96dc0cb973562

[INSTR] Cleanup code by transitioning to C++ streams

[mc] Move some MC_show_non_termination() in SafetyChecker.cpp

[mc] Remove unused argument in MC_show_deadlock()

[mc] Remove the TODO about MC_dump_stacks()

because I just did it.

[mc] Fix MC_dump_stacks() to work cross-process

[mc] Remove SafetyChecker::pre

[mc] Fix process_time handling

[mc] Remove MC_exit()

[mc] Fix a -Werror,-Wsign-compare

[mc] Remove MC_init()

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

[mc] Fix a leak in simgrid-mc

kill useless test+simplifications

[mc] Remove some globals from is_visted_state()

[mc] Extract prune_visited_states() out of is_visited_state()

all DHT examples are now called dht-<protocol>

[mc] Bring back DerefAndCompareByNbProcessesAndUsedHeap

rename a method to stick to our naming conventions

ns3: typo and useless check

ns3: inline some functions

one more refactored

[mc] Remove get_search_interval()

[mc] Use std::equal_range in is_visited_state()

[mc] Use std::equal_range in is_visited_pair()

[xbt] Fix yet another memory leak in the promela parser

[xbt] Fix a another memory leak in the promela parser

[xbt] Fix a memory leak in the promela parser

[mc] Fix a leak in is_reached_acceptance_pair()

[mc] Use std::equal_range in is_reached_acceptance_pair()

This simplifies the logic a lot.

[mc] Use std::equal_range in get_search_range()

The semantic of this function chanegd slightly in order to have
simpler code in the callers.

[mc] Use a single templated code for get_search_interval

[mc] Move some liveness code in the liveness file (private/static)

[mc] Do not use a dangerous guess-the-type logic in snapshot_compare()

[mc] Move MC_replay_liveness() as a static function of mc_liveness.c

[mc] Move the (main) safety code as methods of SafetyChecker

[mc] Do not use reduction_mode outside of the safety algorithm

[mc] Dummy SafetyChecker class

[mc] Working on an interface between a model-checking session and a model-checking algorithm

couple more simplifications

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

some cleanups in examples/msg

ns3: kill useless C -> C++ interface remainings

useless cosmetics in NS3

factoring cmake

reorganize cmake files to group ADD_TEST together
  might help to revive memcheck

plug a i-am-everywhere leak
 + delete pimpl_netcard when freeing a host
 + As the netcard of a physical host is shared by VMs running on it,
   it leads to double frees.
 + A solution is to explicity destroy the VMs when they are not needed
   anymore.
If one doesn't like it, feel free to simplify the VM stuff ;)

reindent (while chasing leaks)

try to fix test on OSX

Revert "Move this bit after the definition of the tests it relates to"

This reverts commit d417954d024c18377e7fb21d670e59f324ccfc36.

even better ;)

Move this bit after the definition of the tests it relates to

clang asks for override here ...

initialize vars

plug two easy leaks

reindent

simplify paths

one CMakeLists per module: achieved!

kill a couple of unused/redundant XML files
 + cosmetics

mv tests where they belong

get rid of teshsuite/simdag/CMakeLists.txt

continue to emptty teshsuite/simdag/platforms/CMakeLists.txt