[Doc] Fixed errors in platform.doc

[MSVC] manually define HAVE_VA_COPY

kill the useless win32/config.h

[MSVC] VA_COPY is defined

don't choke on MSVC; cosmetics in cmake output

[appveyor] verbose msbuild messages are really useless

[MSVC] don't load system headers within the extern "C" block

huhu, if this commit helps, windows is definitely my favorite porter puzzle

[appveyor] typo in msbuild args

spell-checking

[MSVC] be verbose, and don't use args that I don't understand

[MSVC] don't pass gcc flags to MSVC, try to define XBT_PUBLIC properly

[MSVC] Fix a 'no target architecture' fatal error

Funny fact: the windows system headers are not self-contained.
http://stackoverflow.com/questions/4845198/fatal-error-no-target-architecture-in-visual-studio

don't give gcc flags to MSVC

whoopsy. I broke cmake

[appveyor] more info; configure git

[MSVC] Assume that MSVC is C99 and C++11 compliant

test that the node is well installed before trying to run

[appveyor] let's try MSVC

plug some memleaks

make it so that the test pass, even if it is useless now

[MC] add a lib to the whitelist of libs that are not tracked

[mc] Better explanation when complaining about the lack of DWARF

[cmake] Use _GNU_SOURCE in order to detect asprintf

[mingw] Fix format for MinGW

[cmake] Better detection of snprintf, asprintf, etc.

ignore some generated cruft

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

[mingw] Use __USE_MINGW_ANSI_STDIO when checking for functions

Otherwise, SimGrid will think it need to defined its own aprintf() event if it is defined by MinGW.

[mingw] Please use standard printf/scanf

Ohterwise the compiler complains about %lli (and will faile at runtime
on XP). See the MinGW FAQ:

  http://sourceforge.net/p/mingw-w64/wiki2/printf%20and%20scanf%20family/

edits in storage documentation

fix a typo

disable a broken test, and cleanups

We won't implement DPOR+mutex before 3.12, so remove its test. If a
user tries to use it, we have a big fat warning in position so it's OK.

The debian package are of course very uptodate, what do you mean?

create the directory before populating it

[Doc] Next major revision of the documentation

This commit changes

- the hierarchy of the menu
- introduces new menu items, such as a dedicated
  page linking to other pages that are important to read for the
  user
- it adds a .sh script to automatically generate
  a list of example files in the platform.doc file

[Doc] Changed a few pieces of the introduction file.

[Doc] Added links to Packet Level Sim Examples

[Doc] Removed 'install' section in intro.doc

Instead, a link to the proper site was included.

[Doc] Removed links for 'As' in text..

Test

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

Fix a misleading output

s/onexit/my_onexit

onexit conflicts with the homonymous Microsoft C runtime function

[appveyor] don't close stdin, bummer

[Doc] Second major update on platform.doc

[Doc] First batch of updates of platform.doc

[appveyor] try to use msys2 (aka mingw-w64?)

[appveyor] link the win directory to the lin one before exploring it

[mc] Add some boost libs to our debugging whitelisting

This is needed because boost_context now pulls other boost libs.

[cmake] Remove the explicit linking on C++ standard library

This is already handled by cmake.

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

[appveyor] try to get some info on appveyor installs

[appveyor] try to KISS

[appeveyor] try to use mingw-w64

[mc] Fix another bunch of shebang with env

My search query was not catching them :/

[mc] Stylistic changes in mc_dwarf.cpp

[mc] Simplify MC_dwarf_get_variables()

[mc] Use UNW_REG_SP insteaf of UNW_TDP_SP

[mc] Use target preprocessor symbol instead of UNW_TARGET_FOO

Merge remote-tracking branch 'origin2/master'

Use env to find script interpreters

Sometimes, there is no /usr/bin/perl.

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

[mc] Display region type name

[mc] Fix LTO with all versions of GCC

[travis] detect linux as we should

there is no windows on travis anyway

try to fix the third configuration on travis

even if I don't know what this is

don't run the MPICH3 tests on travis

more gitignore

[travis] don't fail so miserably on mac

[travis] don't try to use apt-get on mac

[mc] Remove the --cfg=model-check:1 flag

It is not useless: model-checking is enabled when we use the simgrid-mc wrapper.

[mc] Remove remaining parts of the single-process mode

[Cmake] small cleanup

Why is the directive loading Java cruft hidden in the file building the lib?
And while is that file dupplicated and only partially adapted to windows??
Aaah, my eyes! it burns!!

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

don't tell 165 times that we need CMAKE v2.6

Disable lazy relocation in the model-ched process.

We don't want the model-checked process to modify its .got.plt during
snapshot.

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

[mc] Make SIMCALL_MUTEX_TRYLOCK visible and forbid usage of MUTEX operations with DPOR

- DPOR currently does not handle SIMCALL_MUTEX operations;

- MUTEX_TRYLOCK should be visible: depending on the interleavigns it
  might succeed or fail.

cmake: move some bits to a better location

enough. I cant remember what good this broken chunk is supposed to bring. Kill it.

another try to fix the compilation on travis

-if (CMAKE_COMPILER_IS_GNUCC)
+if(${CMAKE_C_COMPILER_ID} STREQUAL "GNU")

The worse is that this is not a stupid attempt. According to
http://www.cmake.org/pipermail/cmake/2013-October/056081.html , CMake
2.8.2 learned about "Clang", so only versions older than that would
think the compiler is "GNU"...

Cmake is really depressive.

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

[smpi] Fix compilation

[smpi] Avoid locking the mutex when it's not needed

This is more MC-friendly.

some traces have TAB instead of space after %

[mc] Add tests to show that DPOR is guilty of mutex mis-handling

In fact SIMCALL_MUTEX_LOCK is handled but not in DPOR.

[mc] Fix segfault when displaying SIMCALL_MUTEX_LOCK

Update .gitignore

[mc] Add a test to examplify that we should handle mutex operations in MC

In this test, we have two senders sending one message to a common
receiver.  The receiver should be able to see any ordering between the
two messages.  If we model-check the application with assertions on a
specific order of the messages (see the assertions in the receiver
code), it should fail because both ordering are possible.

If the senders sends the message directly, the current version of the
MC finds that the ordering may differ and the MC find a
counter-example.

However, if the senders send the message in a mutex, the MC always let
the first process take the mutex because it thinks that the effect of
a mutex is purely local: the ordering of the messages is always the
same and the MC does not find the counter-example.

smpirun: Option to run the child in foreground

This is disables the cleanup of the child process but gives it access
to the TTY (GDB!). I guess we cannot have both in sh.

smpirun: Raise the same signal we received

smpirun: cleanup files and children before dying

This avoid letting a lot of temp files and/or running processes after
one's death.

This used to happen a lot when the the smpirun process was killed by
tesh on timeout (filling the CI server with a lot of garbage).

[travis] make VERBOSE=1

Try to move the change of linker after the fortran madness

Let's see if it solves the regression on Travis introduced by
3fa08f69b66a84472bc1805a9e1ac86741b00780

tesh: Let a grace period of 1s for the child process to die properly

kill an unused macro

move another gcc version check in the right location

sort a bit the cmake file

uniformize simcall_comm_send() and simcall_comm_recv()

Recv now takes the receiver as first argument, and it should be able
to receive on a remote process.

I tried to remove the sender argument out of send(), but it's used in
SMPI when using RMA and I don't want to dig into it today.

spellcheck