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

Remove a bunch of stuff from Host that was delegated to cpu anyway

- getSpeed()
- getAvailableSpeed()
- getCore()
- getCurrentPowerPeak();
- getPowerPeakAt(pstate_index);
- getNbPstates();
- {set,get}Pstate()

further doxygen cleanups

cosmetics and documentation around VM parameters

kill dead prototypes

more rewrite of the doxygen

less void*, more sg_host_t

remove Host::communicate() (use network instead)

This is my latest attempt to untangle things in surf: empty the Host
class and move everything to network/cpu/storage instead.

code factorization

kill an unused field (+cosmetics)

actually kill models' names

Kill models getName() call sites.

- Debug messages now depend on typeid(...).name(). Beware, the output
  may be compiler dependent.
- It was mainly used to have a specific handling of NS3, which method
  shareRessources() is not idempotent (ie, it actually moves the model
  in the future with no possibility of rolling it back afterward).

  So NS3->shareRessource() needs to be run after all other
  shareRessources, and before the updateState()s.

  Add a shareResourcesIsIdempotent() method to all models to detect
  whether we need to activate that strange behavior without having to
  rely on the model name.

- Removing models namesmakes Model pure virtual, possibly allowing
  diamon-shaped inheritance in L07, where we need only one model for
  CpuModel and NetworkModel.

typo in comments

kill an unused function

kill the sorry remainings of a parallelization of SURF

inline two static functions

initialize fields at declaration

Remove one of the many pimple: HostModel::p_cpuModel

Gosh this code is hairly. This one came from the VM war, apparently.

kill unused function

make a pimple smaller

reduce a bit the amount of void* (in L07)

rename HostL07Action to L07Action

L07 actions are indeed hybrid actions that are both CPU and network.

code simplification

Also, add some comments

kill dead code: Action::recycle never got implemented

more cosmetics in doxygen comments

cosmetics in the info message of L07 model starting up

cosmetics in doxygen comments

And kill dead code and other useless cosmetics

Get ride of ???Ptr types in C++: make pointers explicit

Making pointers explicit is not what we did in C so far, but what we
did was a bad idea. It's easier to code when you know what is a
pointer and what is not.

Also:
- Convert a bunch of C-typecast into static_cast
- Kill some dead or dupplicated code