[mc] Move methods in Process class

[mc] Add remote_ptr for marking pointers-to/addresses-in the remote process

[mc] Remove compatibility stuff

[mc] Fix bug in Snapshot::read_bytes

MC_region_read is allowed to return a pointer to another buffer containing the data.
We have to handle this case.

[mc] Make C++ classes out of addres_space, process, snapshot

Removed PIPOL documentation and added CI (Jenkins)

- PIPOL seems to have been an old system used for that
  purpose; all references were removed or updated.

- Added a file called "inside_ci.doc". There are sometimes
  tricky things that one wants to do with Jenkins and it's
  good for us to have a starting point here.

Removed broken reference from FAQ

- The reference to "faq_more_processes" did not exist.
  I removed it, as doxygen complained about it.

Fix the implicit declaration issue - Ad(rien)

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

Fix java cloud integration tesh files

Added dependency on FLEX 2.5.39 to MaintainerMode

With a minor version such as 2.5.35 (available in wheezy),
MaintainerMode will break: The generated files will contain
signatures that are incompatible with SimGrid. (Apparently
generated functions changed their signature during these versions,
from "int" to "yy_size_t")

Fix cloud integration tesh files

Compilation is at least ok - Ad(rien)

missing to add few files - Ad(rien)

Forgot to add the declaration - Ad(rien)

More progress toward the atomic simcall for vm migration - Ad(rien)

First steps to add a new VM simcall - Ad(rien)

Fix broken link

Fix broken link

[mc] Mark many MC symbols as hidden

Some of them cannot be hidden because they are used in the unit tests.

[mc] Fix MC_free_object

xbt_free() does not take a pointer to the pointer but the pointer.
This behaviour is different from xbt_dict_free, xbt_dynar_free...

[mc] Fix parameter order in unit test of mc_snapshot

[mc] Only use prctl(PR_SET_PDEATHSIG) on Linux

[mc] Fix typo

[mc] Knowledge about the size of pointer types in DWARF

Some compilers do not emit DW_AT_byte_size for DW_TAG_pointer_type, so
we fill this. We currently assume that the model-checked process is in
the same architecture.

This fixes the model-checker in clang.

[mc] Remove useless variable

Fix xbt_fifo_foreach

Does not compile on some versions of clang

[mc] Cleanup horrible for loop

[mc] Cleanup horrible for loop

[mc] Fix XBT_ERROR message

[mc] Remove designated initializers

[mc] Remove designated initializers

[mc] Fix formatting specification

[mc] Remove designated initializers

[mc] Fix type of zero_buffer_size in mc_process.c

Fix sign-compare warning.

[mc] Fix unitialized variable

[mc] Add missing inttypes.h include

[mc] Fix mm_fake_malloc() implementation

[mc] Fix mmalloc with fortran

Use a .bss segment for data storage when initializing the library.
This was removed from a previous commit but it is needed after all.
However, in this implementation we should avoid using it as much as
possible: it should only be used for the dlsym() calls.

[mc] Fixed the compilation on non-MC build

I just broke it.

[mc] Fix the umpire tesh files

[mc] Fix segfault in MC_request_is_enabled() executed on MCed-side

[mc] Fix umpire tests invocations (call simgrid-mc)

The tesh files are still broken however.

Added include_path and dependencies for FreeBSD < 10.0

- Commit eea4e2cc87b80c35b33f46377187181e57692440 has enabled C++11
  for SimGrid. However, FreeBSD 9.1 does not have a compiler that
  supports this. Here's a nasty workaround, making the bold assumption
  that libc++ is installed (by default, it's not) and where we can
  find it.

- With this hack, FreeBSD CI should work again :)

Added reference link to comment in MakeLib.cmake

Fixed exception tests

- New configuration option "exception/cutpath" introduced. This makes
  it possible to remove the path to files in backtraces as used for exceptions.

- .tesh files adjusted to reflect this change.

Fixed typo in sg_config.c

[xbt] Add unit test got xbt_dict with arbitrary (not a NULL temrinated string) key

Disable a test which only works on one computer

[smpi] Better implementation of predefined attributes

Fixes test-smpi-mpich3-attr-raw.

Sync the Fortran value of MPI_ERR_LASTCODE with the C value

-Wclobbered will now only be added for GCC.

- This flag will in fact break compilation with clang.

Replaced check for GNU compiler with CMAKE variable.                                                                                               -- INSERT -- 9:59:23

- The CMAKE_COMPILER_IS_GNUCC variable can be used for that.
  See the docs: http://www.cmake.org/Wiki/CMake_Useful_Variables#Compilers_and_Tools

Removed if-statement from CMakeLists.txt

- We need to activate CXX anyways, so this is not necessary any more.

[mc] Remove the dual heap mc_heap/std_heap

[mc] Cleanup MC init code (split MCer and MCed init)

[mc] Move stacks_areas code in mcer_ignore

[mc] Cleanup mc_ignore/mcer_ignore

[mc] Move MCer code from mc_ignore.cpp to mcer_ignore.cpp

[mc] Multiple heap removal (partial)

Removed keyword 'register' from files.

This keyword is deprecated and will break compilation with CLANG.

[mc] Fix XBT_CONNECT, mc_main is not in libsimgrid.so

[mc] Add missing XBT_CONNECT, move some out of HAVE_MC

Fix EXTRA_DIST

Merge branch 'master' into mc

Conflicts:
buildtools/Cmake/DefinePackages.cmake
src/mc/mc_request.cpp

this example needs to forcefully destroy the VMs

revamp the start_kill test to greatly improve the coverage

Remove the kill_time timer when a process stops (fix #18888)

new function: remove a given element of the xbt_heap

more consistant identifier names around Java objects' finalization

Actually allows the GC to reclaim tasks (fix #18874)

model-checker : declare variable at the right place

model-checker : unused variable

model-checker : uninitialized variables

model-checker : missing header

model-checker : really fix mc dependancies with MC ON or OFF

model-checker : fix dependancies without MC

[mc] Do not execute MCer code in MCed mode in MC_remove_ignore_heap()

[mc] Add missing copyright notices (and update)

[mc] C++ class PageStore

[mc] C++ class ModelChecker

[mc] Remove mc_interface.h

[mc] Remove soft dirty page tracking

It generates a lot of page faults and is slow.

[mc] Remove standalone mode and remove MC_do_the_modelcheck_for_real()

[mc] Remove mc_set.cpp

It was used on disabled mc_hash code and we can now use C++ STL directly.

[mc] Switch to C++

The code in just renamed in .cpp files and some adaptation are made
(this is still C style code).

Merge branch 'master' into mc-process

Merge branch 'master' into mc-process

Conflicts:
teshsuite/mc/replay/random_bug.c

[mc] Fix comm_determinism to work in split MCer/MCed

Elaborated on error messages in src/msg/msg_process.c

- 'Invalid parameter' error message now also shows the reason
  why it's invalid: Because it must not be NULL.

[mc] Fix MCed event/message loop

[mc] Kill the MCed process if/when the MCer dies

[mc] DRY MC_do_the_modelcheck_for_real()

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

tiny doc improvement

provide placeholder headers to not disturb the users

[mc] Move comm determinism code in mc_comm_determinism.c

[mc] Move liveness in MCer process

SMPI: Fixed wrong value for MPI_ERR_LASTCODE.

This patch was submitted by Samuel Thibault. Thanks!

SMPI: More errorclasses: Added all errorclasses from MPI-3.0

- All classes as shown in
  http://www.mpi-forum.org/docs/mpi-3.0/mpi30-report.pdf on page 662/663
  are now available.