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

[mc] Move VisitedPair alongside with LivenessChecker

[mc] Move some snapshot_compare() overload with their respective checker

cleanups

factoring

forgot to commit that ...

end of splitting examples/msg/tracing

make this test test something
and move it to its own dir

make this test test something
and move it to its own dir

make this test test something
and move it to its own dir

reorder to have ADD_TESH grouped at the end of file

remove an unused and non-working lua script

lua: rename the platf module to 'engine' to align on s4u

appveyor: don't run removed tesh files

third attempt to fix the build without graphviz

merge my change and the one of Augustin

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

second try to fix the build without graphviz

fix build without graphviz

Fix build without graphviz

stop using masterslave_arg to test lua as this binary is gone

lua: inline a function

cosmetics in lua

have the AS factory return the created AS

cosmetics in lua platform creation

let's seal() the AS in lua too

Further cosmetics in the parsing of clusters

- FatTree: rename create_links() into seal() to do the Right Thing
- factorize the explodesRadical() between cluster and cabinet
- other small things

In <cluster>, attributes availability_file and state_file are gone.

It was too complex and unused.

cleanups in the parsing

- no need for xml cbarg initializer as we memset(0) the cbargs
- prepare to factorize host name creation between cluster and cabinet

plug two memleaks

cosmetics in cluster parsing

vivaldi: we are not using euclidean distance, actually

do not create dumb hosts when searching for vivaldi coordinates

Vivaldi: factorize similar code and cosmetics

vivaldi: allow every component to have a private link, not only hosts

Have a decent name for the private hostLinks in clusters

AsVivaldi is an AsCluster because each host as a private link

small cleanups in the <peer> parsing code

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

fix distcheck

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

move one more tracing test

Fix broken build 20551fb51e6144ee0c7942602e4c4a60477ddfc8

This commit fixes compatibility issues with GCC < 5 and older versions of
clang.

The problem (at least with GCC) is/was that they declared the move-constructor
as deleted in GCC < 5. See the bug: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54316

This commit does not return any stringstreams any more but makes use of a
file-wide global variable to use stringstream.

mstorage was never implemented anyway

routing: change an  enum to a class enum

Factorize some code into the netcard constructor

take a bite in the cruft of this code

inline a signal

let lmm_system_free(nullptr) be a noop

let xbt_heap_free(NULL) be a noop

small cleanups here and there

NetworkCste: Kill two methods overriden to the same content

+ rename a field

rename the fields of surf::Action

gtnets is gone now

sort out the Link::onCommunicate signal

NS3: move the content of Model::communicate into Action constructor

ns3: no need for 2 postparse callbacks

Kill the useless NS3Sim class

Instead, inline its methods that were static anyway. I guess it's a
remaining of the C->C++ interface

one cmake file less

cosmetics in NS3

kill that example
 + there are other places where processes are instantiated without a
   deployment file

kill dat code, pal

Separate the dead code removal from the change that make it useless
for sake of diff readability.

Don't copy&change ns3::point-to-point-helper

I'm sure there was a better way to force RED queues for routers,
but I dont' care because I decided that there is no reason to force RED queues for routers.

So kill dat code, dude.

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

[INSTR] Move to C++ and use templates

I also replaced plain old C-casts with static_cast

[INSTR] Cosmetics: Alignment of assignments.

merge chord tesh files

merge ns3 cmake ino msg cmake

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

start to split msg/tracing

These files are not used anymore

kill more dead code in NS3

We don't make no difference between hosts and routers in NS3 anymore

some cleanups before reorg

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

no need to keep test for a model that is the default one for 6 years

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