model-checker : init MC for liveness in a separate function

model-checker : if get_libsimgrid_plt_section called before first snapshot, libsimgrid_path is NULL

model-checker : display debug information with XBT_DEBUG instead of XBT_INFO

model-checker : change MC_take_snapshot_liveness declaration (snapshot returned instead of in parameters) and check heap used

model-checker : remove instruction pointer offset for local variables comparison

model-checker : stack_areas stored in raw_heap instead of std_heap

model-checker : debug information more concise

model-checker : fix some memory leaks

model-checker : first line of objdump --section-headers display complete path of elf file

model-checker : fix first parameter for get_stack_pointer (need stack context pointer instead of stack)

model-checker : ignore pointers on raw_heap in data segment libsimgrid comparison

A C++ compiler is required for gtnets and ns3.

Cosmetics.

Don't enforce to have a C++ nor a Fortran compiler.

Depending on the configuration options, a C compiler is sufficient.

Merge branch 'v3_8_x'

Also add release name in ChangeLog.

Merge branch 'v3_8_x'

Conflicts:
ChangeLog (fixed).

Release 3.8.1.

Document change.

Tesh is not ls, and other trivial typos in tesh.1.

These files are already added from testsuite/surf/CMakeLists.txt.

Add tesh.1 to txt_files.

These files are already added from testsuite/surf/CMakeLists.txt.

Add tesh.1 to txt_files.

Remove conditions from else() and endif() in cmake file.

This is a followup for commit c5c1970 (these statements were added after that).

SMPI finally works ;)

adding property to check success of mpich context tests

modify .std files to comply, as fortran ones were outputing weird things

This is better for regex ... sorry

Remove cmake warning

Add std and stdo files to distrib and copy them to build dir if necessary.

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

Remove unnecessary stdo and std files for smpi.
Regenerate each time

Fix smpi script variables between cmake home dir and cmake install dir

document augustin's work

Fix test out of directory for smpi mpich

remove few tests which may never finish, and change one that used too much stack size

remove unwanted files

fortran-smpi was broken

forgot to execute hindexed. As the one from mpich isn't good for us, use this one, which was already present

add fortran tests from mpich-tests, enforce completion of mpich-tests suite with lots of other tests.. Oh, and add all stdo files, because it turns out the suite uses them.

correct some issues with MPI_Sendrecv_replace, to avoid segfaults. I should implement it more cleanly, to handle complex datatypes as well. For now they exit.

add a few fortran bindings and types to have better support for mpich tests

add various defines and objects to provide better compilation support (all C tests from mpich-test suite now compile)

have waitall output an error if an issue is encountered in any comm, and avoid looping in some smpi functions (experimental, to test)

first commit to add the mpich-test suite to smpi tesh suite. Obviously all tests don't complete correctly, so we will only execute a (pretty good) part of it, but all tests should compile with smpi (at least C ones for now, fotran needs more work)

Conflicts:
CMakeLists.txt
buildtools/Cmake/AddTests.cmake

documentation improvement [thx Sylvain for pointing this out]

document recent changes of Pierre (and Augustin?)

Fix compilation on linux ;)

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

Fix compilation and configuration since win commits

endif missing

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

More dev doc

Those examples does not compil on WIN

Tranform extern for XBT_PUBLIC

Compilation fix on SMPI with WIN32

Huge hack for call of smpi_simulated_main.
-> Fix WIN32 compilation with smpi

Windows does not find weak symbol
Fix compilation for smpi on WIN32

Add a surf function to get configuration parameters of surf_cfg_set
-> Fix windows smpi shared memory between 2 DLLs

Add XBT_PUBLIC tag to smpi variables

Cmake target for lib smpi

Since cmake 2.6, else() and endif() don't need to repeat the condition.

And all CMakeLists.txt already require a version of cmake >= 2.6.

[trace] fix tesh'es due to change of link values

[trace] link value here should indicate resource topology

Merge branch 'v3_8_x'

Install lua and graphviz-dev for debian too.

Update next version to 3.9.

Update next version to 3.8.1.

we just released

update the release dates

Add smpi_f77 to extra dist if not in smpi src

Remove generated files from dist

Links are for the forge and not local

Attach the dev guide to forge and doc

Start to write dev_guide

Fix documentation warnings

Delete some warning during the ref_guide build

Clean the gtut files.

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

Clean and add files for simgrid documentation.
Now the distrib can generate the documentation

[trace] update ChangeLog with recent changes on the TRACE module

Add header, footer and stylesheet to the distrib

Add dev_guide files to the distrib.

add missing userguide files

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

Always checkout simgrid with git:// and not https://

ops, forgot to document the changes of JB this summer

some cleanups to the changelog. Still improvable

proposal of NEWS file for the upcomming release

Desactivate an historical MC_assert so that model-checking Chord get a chance to work

Leave a comment on this first historical battle for MC in SimGrid in
the source code :)

Document some of Pierre's work

Fix format string and args.

Pull again, something was changed before I could push

Pull changes to push BitTorrent fix

BitTorrent changes:
Fix message sizes (used MB instead of bytes)
Fix tesh again to match this change
Define new message type MESSAGE_CANCEL (not implemented yet)

Disable mmalloc_test when !HAVE_MMAP, since mmalloc is not compiled in.

Update script for build default conf into build-def directory

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

edit changelog with smpi changes