fix the log hierarchy extraction wrt mc_main, that is not in libsimgrid

Make it possible to compile the doc without javadoc (Fix #10)

fix some outrageously outdated parts of the doc

remove some more cruft related to gcc v4.6 (we request v4.7)

disable clang on travis as boost 1.48 cannot be compiled

disable NS3 on travis as its old version leads to bad timings

Revert "please cmake, could you tell us your compiler arguments?"

This reverts commit c8f356157e99a791a71bd6408f9d73423c0dab74.

get it to compile on clang on my machine

NS3 libraries were not versionned on Ubuntu Precise

further cleanups of NS3 detection

reduce the verbosity of a CMake warning

further cleanups of the NS3 detection (it breaks on travis)

note that we do need Boost 1.48

Use boost 1.48 on travis as 1.46.1 is not enough for us

Get g++-4.7 from a PPA on travis.

Remove borland-compiler related cruft

- there is no way that simgrid still compiles with that compiler
- I'm not even sure that this tool still exists :)

Revert "Fix non-MC builds"

This reverts commit 43f5aa483faaf237121a30a49e59ce74e42e1acc.

Gabriel's fix is much better...

try to get Clang happy with our C/C++ bindings

[mc] Fix missing #include in non MC

Fix non-MC builds

My implmentation of random for non-MC may be seen as a very partial :)
But I'm affraid of breaking some tesh out there with a real random.

CMake cleanups: move the C/C++ std detection to the right place; add doc

we need std=gnu11 in C too (was std=gnu99)

[mc] Move MC_random is mc_base.cpp

Disable a XBT_LOG_CONNECT (this one is not in libsimgrid)

s/smx_host/host/ because of API change

Revert "Revert "[mc] Move MC_random() in mc_client_api.cpp""

This reverts commit 00c3794fcf27d9c7733b5f0c1624a3120b35a72f.

please cmake, could you tell us your compiler arguments?

proper check for the -std=gnu++11 standard, and take in on clang too

Kill some old code pretending that we support Visual C or Borland
compilers.

fix the make distcheck. Again.

Require g++ v4.7 at least to not speak prehistorical C++

(also: don't install doxygen as we don't build the doc)

kill the C version of tesh (now unused). RIP :(

ignore another generated file

search separately for required boost and optional boost-context

libboost-context-dev is not in oldstable, so don't request it on travis

Try to fix the travis file

- Remove some dependencies that I think I killed: transfig ghostscript texlive-font-utils
- Add -Denable_ns3 so that it gets searched
- Add an EOL at EOF

more explicit error message when some boost library were not detected

various fixups to the surf documentation

Much more would be needed, as usual :-(

I renamed that option recently

try to get NS3 working on travis

fix a tesh because of the recent file moving around storage

Revert "[mc] Move MC_random() in mc_client_api.cpp"

This reverts commit 52fd4a51d500956bc7103d0f778b765bcdef2948.
It breaks the non-MC builds.

Conflicts:
src/mc/mc_client_api.cpp

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

NEWS: fix typo and indentation

fix the distcheck target

[mc] Cleanup

[mc] Do not #define __has_feature

[mc] Cleanup mc_client_api.cpp

[mc] Move MC_random() in mc_client_api.cpp

make the SIMGRID_VERSION_STRING easier to parse in subprojects

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

[psg] update: Makefile, run.sh,test.sh

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

Conflicts:
buildtools/Cmake/DefinePackages.cmake

[mc] Do not trigger errors in MC_automaton_new_propositional_symbol() when MC is disabled

[mc] Move the proposition declaration functions in mc_client_api.cpp

[mc] Cleanup/simplify liveness property automaton registration code

There were remants of the standalone mode.

[mc] Remove MC_automaton_new_propositional_symbol_callback()

It was defined in the simulated-process API and but it could not be
used in this context: it was to be called in the model-checker
process.

Removed a lot of boilerplate callback management stuff: replaced with
C++-style code (passing lambdas/functors).

[mc] Add some doc to the simulated-application-side API

peersimgrid release 1.0

[mc] Do not allow to xbt_new things with (non-trivial) constructors

[mc] Remove HTML in a comment (this is ugly)

[mc] Comment the binary search in ObjectInformation::find_function()

[mc] Fix out of range error in the binary search implementation

[mc] Fix: can't build a std::string with nullptr

[mc] Give a real override if we know it's available

[mc] Remove a lot of typedefs and typedef usage

Do not hide the real type of things behind typedefs. Some typedefs are
still there because they are used by C code.

[mc] Remove remainings of an old type

[mc] Simplify lookup of maps

Simplify the process_execute simcall

Don't pass the host on which it has to run, as everybody pass
SIMIX_process_self(). Get the inner layers guess that themselves.

(also move a bunch of simcalls in the definition file. Sorry for the
noise)

massive rename of simcalls: execution is related to a process, not to an host

make simix more resilient to PEBKAC

New function: simcall_process_get_kill_time()

cosmetics in debug messages

[Doc] Minor changes to introduction.doc

[Platforms] Created folder 'storage' for storage specific platforms

[Platforms] Added missing attribute in storage.xml

[Platforms] Fixed indentation of storage.xml

[mc] Remove useless/unused stuff

[mc] Remove MC_post_process_functions()

sanitize the process_create simcall

It was receiving a pointer to its result as first parameter, and it
now simply returns that result.

It could be further improved by returning a smx_process_t instead of a
void*, but our simcall mechanism does not seem to allow to cast results.

[mc] Remove MC_dwarf_register_variable()

[mc] Avoid the O(n^2) incremental construction of sorted arrays of variables

This is espacially slow now that the array contains the Variable
instead of the Variable*. Create it without order and sort if in O(n
log n) afterwards.

[mc] Add comments on ObjectInformation

[mc] Make ObjectInformation::function_index a std::vector

and while we're at it remove high_pc from the FunctionIndexEntry which
is not so useful.

[mc] Make ObjectInformation::file_names a std::string

[mc] Make Process::subprograms a std::unordered_map

[mc] Make type_is an integer instead of a string and use std:: containers

[mc] Move ObjectInformation methods in mc_object_info.cpp

[mc] Move some declarations in mc_object_info.h

[mc] Make Frame::variables, Frame::scopes and ObjectInformation::global_variables std::vectors

[mc] C++ location lists and expressions

[mc] C++ify Frame

[mc] C++ify Variable

[mc] OOPify/C++ify Type (cont)

Make members a std::vector.

[mc] OOPify/C++ify Type (cont)

Make location expression a std::vector.

[mc] OOPify/C++ify Type

[mc] OOPify/C++ify ObjectInformation

[mc] C++ification of memory_map.cpp

[mc] Cleanup/C++ification of {ModelChecker,PageStore}.{c,h}pp

[SURF] Callbacks now use the INITIALIZER macros

- Callbacks such as s_sg_platf_link_cbarg_t were not at all
  correctly initialized before; this was fixed!

- Several initializers used valid C99 initializer syntax; however,
  this is not supported by C++. Hence, these initializers were changed
  to simple lists. See also
  https://gcc.gnu.org/onlinedocs/gcc/Designated-Inits.html
  for more details on this issue.

cosmetics in the check of library version vs. header version