[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

factor teshsuites/simix cmake files

reindent, duplicate--, useless endif/if

ns3: further cleanups

NS3: don't use the 'using namespace' construct

NS3: Remove content from NS3Sim(), to later kill it

ns3: gosh this code is ugly

ns3: everything is in C++ now, no need for so many files

ns3: kill an unused void*, qualify another one

ns3: rename a type for consistency

kill some dead code in NS3

objectifies surf::Action::State

kill some dead code

objectifies a C function

rename some fields to match our coding standards

cleanups in (wanna be) surf::CpuImpl

empty Cpu factories

remove a redundant parameter to the Cpu constructor

get a better name for the speedPerPstate attribute in CPU

empty the link factories

remove speedTrace from the CPU constructor

uniformize how CpuTI creates SpeedTrace with other models

remove StateTrace from the CPU constructor

This only bloats the CPU interface. People wanting to attach a trace
can do that after creation with setStateTrace.

try to fix mmalloc test on MC

either I'm dumb or tired...

grrrrr

damn! so many mistakes ...

second try to fix

try to blindly fix test

reorg teshsuite/mc

[mc] Use C++ containers for visited_states

[mc] Fix VisitedState constructor

The snapshot was not taken anymore.

kill another avoidable XML

kill avoidable XML

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

refactor 2 more CMakeLists

fix build with MC

still messing around with cmake

fix distcheck

mv is-router and flatifier to their own dir

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

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

Fix dist

Add suitable #include for HAVE_MC

Merge commit '7937c47'

Remove useless include that makes projects outside of Simgrid uncompilable.

mv a test out of platforms dir

Merge the merges of merges

Maybe we should avoid this merging madness…

further reorg