[mc] Remove mc_region_contain(), use the method instead

[mc] C++ify RegionType, StorageType enums

Namespaced and strongly-typed.

[mc] Fix compilation error on clang (and group all the region creation functions together)

error: 'MC_region_sparse' has C-linkage specified, but returns user-defined type 'simgrid::mc::RegionSnapshot' which is incompatible with C

temp

[mc] Enable record in liveness mode

stupid me

[mc] Use vector<RegionSnapshot> instead of vector<unique_ptr<RegionSnapshot>> in RegionSnapshot

[mc] Fix typo in e_mc_region_storage_type_t

[mc] Remove deprecated MC_snapshot_read()

[mc] RegionSnapshot, make all fields private

[mc] RegionSnapshot, make data private

[mc] RegionSnapshot class

[mc] Remove broken test

We don't handle NULL as a valid/special region anymore.

[mc] Remove mc_translate_address()

Not used and probably not very useful/usable with chunked snapshots.

more verbose error message on error

[mc] Fix mc_translate_address() for MC_REGION_STORAGE_TYPE_PRIVATIZED:

It was incorrectly calling itself insteaf of translating the region in
the "sub-region".

[mc] Make Process::socket_ private

[mc] Make Process::memory_map_ a std::vector

[mc] Mark some Process attributes as private

[SMPI] Fixed portability issues with shm_open.

- According to "man 3 shm_open", these handles should
  begin with a slash (/); this commit fixes that.

[SMPI] Added several document blocks for ois, or and ois

- I hope this makes it easier to understand what is going
  on here!

[SMPI] Just some cosmetics (indentation), no changes

[SMPI] Improved several comments in the code

[SURF] Fixed config option network/weight_S_parameter

- This configuration option is actually called
  network/weight_S; I changed that. Note though that
  network/weight_S is stored in a variable called
  sg_weight_S_parameter, which adds to confusion.

[mc] Fix cross-process access to simcall_comm_***any__get__comms

The array in an array of smx_synchro_t and not of s_smx_synchro_t.

[mc] Fix remote_ptr

[mc] Fix printf format

[mc] Replace the override word with MC_OVERRIDE

The compilers used by the CI infratrsucture do not handle this. In the
future, we might detect if the compiler grokes it and we might
conditionnaly use:

[mc] Fix spurious call fo remote()

[mc] Remote deprecated functions MC_snapshot_read_pointer()

[mc] Fix the translation of privatisation section in Process::read_bytes()

[mc] Private Process::pid

[mc] Make a std::vector of Process::checkpoint_ignore

[mc] Move cross process reading support for SBT structure in a separate file

[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