[mc] Documentation for Type and Member

[mc] Remove Type::is_pointer_type

[mc] Member initialization in Variable, Member, Type

[mc] Move some code into simgrid::mc namespace

[mc] Don't leave model-checked processes around

In some cases, we terminate the model-checker brutally inside of its
event loop instead of letting the event loop and the model checker
terminate cleanly. In this case, the model-checked process could still
be left alive.

Because the model-checker was still around, tesh was still waiting on
the pipe and ended-up timing out.

We now SIGKILL the model-checked process when exiting the
model-checker brutally.

oups

rebalance a bit between simgrid_config and internal_config

further cleanups of the DLL usage madness

further remove dead code

woops, all machines but mine need stdio.h here

asprintf is never used: bprintf is so swag

we never need asnprintf nor vasnprintf

snprintf is C99, we require C11. kill the portability code

further improve code coverage by killing old code

tesh is not in C anymore, there is no need to compute string diffs

kill some other defunct portability checks

we don't support static build [on windows] anyway

improve coverage: kill dead code

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

dust a bit our portability checks

remove useless header inclusions

Ceterum censeo Applem delendam esse

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

yet another redundant platform less

Implem? I meant Impl, as in pimpl. Sorry for the noise

changed some trace names

factor host samples, update flatifier

cosmetics in the coordinate-based platform files

kill SD_HOST_LEVEL \o/. Its friends must follow.

kill two almost empty files by inlining the contained function

Let's call sg::surf::host a HostImplem

convert S4U to my current coding convention

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

get ride of a stupid header file

try to sort out the surf headers a bit, if possible

[cmake] hide debug message

seriously, me

seriously c++

add extern "C"

One day, we will manage to check dist before pushing. One day.. :p

Somehow cmake on windows+ci found this syntax wrong and did not compile ucontexts..

fix windows compilation

[cmake] hide debug message

start to factor dummy platforms

remove some redundant files

Dijkstra is not so cool finally

Dijkstra would have like symmetry too

four_hosts_floyd_bis doesn't bring anything
  when compared to four_hosts_floyd
  kill it and remove associate test
  and it had 5 hosts BTW ... logical in a SimGrid way.

update definePackages

remove old locations

rename conf to optorsim

ignore mc mutex binaries

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

make surf tesh test something

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

In <host> and <link>, attributes availability and state are gone.

It was redundent with state and availability traces, and with peak
values.

change log format to avoid printing file path

Add test for the (still very experimental) automatic evaluation of collective algorithms
Just to test the last non covered file in smpi.

this xml file did not even parse anymore

Previous change made this size smaller, but it resulted in actually another algorithm being tested -> increase it again
To avoid issues with memory usage, reduce the number of nodes instead.

simplify a bit the CPU creation API

pstate and initiallyOn are not passed anymore to the constructor. They
default respectively to 0 and true. You can change the values after
creation if you want.

move more xml cruft to the xml jail

kill several unused functions in xbt

rephrase to improve coverage

how many times can I break make distcheck in only one day?

[cmake] replace tools/cmake/MakeExe by a little foreach loop

this test does not exist anymore

Some people want both make distcheck AND make to work. Shocking.

Guess what. I broke make distcheck.

Kill graphxml parsing feature. It was not used

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

reduce the amount of includes to speed up recompilations

that perticular binary wants to be in bin/ not ./

update generation script to v4

kill generated XML
 + they are not used in any tesh
 + vivaldi description is tested though
 + one can produce them again by running the script.

[mc] Remove a ugly special case in LocationListEntry

[mc] Cleanup LocationListEntry

[mc] Cleanup/documentation for simgrid::mc::Frame

[mc] Move remote_ptr in its own file

woopsy, broke make distcheck. Again.

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

various cleanups in the CMakeLists.txt files

- We never need to explicitly list pthread as a dependency
- Files are searched in ${CMAKE_CURRENT_SOURCE_DIR} by default
- Default value of EXECUTABLE_OUTPUT_PATH is ${CMAKE_CURRENT_BINARY_DIR}
  when cmake/UnitTesting does not mess with it.
- Indentation cosmetics: these files are boring, don't make them ugly

Fix build with mc

[mc] Partial cleanup of the initialisation of the different MC objects

namely Process and ModelChecker.

This fixes the testall test.

basename -> xbt_basename

[mc] Port stack-cleaner compiler-wrapper to Python

No more ruby.

Remove PSG from SimGrid git

This was not more visible or better maintained here.
It was just useless code dupplication.

See also https://github.com/mquinson/simgrid/issues/64

kill another out of date script

This is a source code repository, not a museum.

this lua file is a bad platform.xml

 + lat instead of latency for links
 + no symmetrical="YES" for route

mv simdag platforms to the right place

 + and traces too

never ending cleanup of the simdag world

  + useless includes
  + useless WIN32 safeguard in CMakeLists
  + indent
  + hostify

well, clean, clean, clean ...

never ending cleanup of the simdag world

 + don't know what this test did

never ending cleanup of the simdag world
 + unused XML file that exists elsewhere

never ending cleanup of the simdag world

  + This test was for foreach, sets and other deprecated tags
  + the XML file used in tesh doesn't even exist anymore

Python: align style with PEP-008

With autopep8.

[mc] Use simgrid::xbt::range for program-counter ranges

[mc] Remove unsafe method ChunkedData::pagenos() (non-const)

Modifying the page number directly would break the reference counts on
the pages.

[mc] Doc/cleanup ChunkedData

[mc] Fix context registration which was disabled by a bug

I was bitten by the move constructor and context registration was
completely disabled.

This fixes the main MC tests.

[SMPI] Fix filename in comment