model-checker : fix sorting of visited states and state equality reduction

model-checker : sorting of visited states according to chunks used

model-checker : update bugged1 tesh

Revert "Kill the <backbone> tag"

This reverts commit 7d248dfd0b7fa18bacf5403efbf3dcf7a0cf902f.

This is actually used in some situations where I don't have any good
replacement. Sorry for the noise.

Kill the <backbone> tag

This was allowed only in the <cluster> tag, and was dupplicating the
features of the bb_* attributes of that tag. Kill this because the
parser is already complex enough without dupplicating ways to get a
given feature implemented. Sorry for the inconvinience.

model-checker : update chord_neverjoin tesh

model-checker : don't ignore simcall result in system state comparison

add my last answer on the list to the FAQ

this file should not overload the codebase

model-checker : stats XP of model checking on chord example

remove the 'new_' part of function name sg_platf_new_trace_connect

acknoledge that the default value is set in network.c so that we have a single point of truth

This set was recently renamed

first try at replaying alltoall. Not tested yet

make it compile

factor verbose logging
add dummy actions for unimplemented MPI calls needed by NPB codes

Cosmetics

Revert "make MSG_comm_waitany use dynar"

This reverts commit ae811896a4746542e8de1616e8bc95a3ee6320f2.

Conflicts:
examples/msg/actions/actions.c

Allow MSG one-side communications that rely on parallel task to work with the compound model.

model-checker : fix MC_take_snapshot if malloc used for raw heap and several data segments for binary or libsimgrid

model-checker : fix dpor with state equality reduction

model-checker : if frame name is empty, stop stack unwinding

model-checker : remove restriction of DPOR if several requests for same process

chainsend: fix tesh

chainsend: change peers active wait to waitall

chainsend: broadcaster should send synchronously

Now, you have to use "cursor" instead of "i".

Reindent file before changes.

Use "debug" log level here.

Some symbols were renamed by last flexml update.

Update with newer flexml.

make MSG_comm_waitany use dynar

improve the doc to include MSG_config

make MSG_config public, document it, and implement it properly, not through a crude hack

Move module tracing into corresponding modules

Link with -ldl when using dlsym.

remove the create_resource entry point in resource model APIs

That's a leftover from ancient times that is not used anymore.
Instead, these functions are registered by each model as callbacks
within the sg_platf mechanism, which is now the unique way to create
resources (we had up to 3 different ways to create resources in the
code base :)

fix a typo

rewrite the install doc, and integrate latest feedback on Mac builds

mark as advanced some options that are useless to the users, and improve some doc

remove a bit of cruft from the install doc, more remains to be cleaned

cosmetics

forgot the test file

use system malloc for the raw heap if GNU ld is used

make this example be more valgrind compliant by increase host speed.
When tasks end after the "Finalize" reception, nothing is safe ...
Still has an invalid free in the end.
did some typo correction too

Use xbt_malloc (and friends) instead of direct malloc()

This is good practice as it asserts that the result is not null, and
it actually help me right now when digging in the MC.

Add -Wall to CMAKE_Fortran_FLAGS, unless enable_compile_warnings=OFF.

This triggers lots of warnings, mainly about implicit function declarations,
but I don't know how to fix them properly for now.

Linker option is useless when '-c' is present.

this was fixed too

mention bug fix in ChangeLog

add test_sd_avail.tesh to the list

add a tesh file for the test of availability traces

Avoid to compile files when they're not needed.

This file does not belong to TRACING_SRC; define SIMGRID_SRC.

Really remove deleted file.

Let's be honnest

refresh the README, and re-add it to the archives

that was really ancient (shame shame)

This prevent periodic availability/state traces to loop forever

Fix _sg_do_model_check use with model_check=OFF

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

cosmetics

add an example to test availability traces. Weird behavior and runs
forever (thus no tesh yet)

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

Restructure config headers

no need to explicitly tell that resources are initially up anymore.

when the first event of a trace (availability or state) starts at a time
greater than 0, this means that the default value has to be used
meanwhile. Create a dummy event whose value is -1 and handle this in
surf_presolve.

when the value of an event is a negative one, don't update resource
state during presolve. Allows to use default status up to the time (>0)
of the "real" first event.

add more debugging info there. Nice to know what is the new value
assigned to the link

chainsend: print some transfer stats, move debug prints to where they belong

also count up bytes when transfering, so that the peer can print its "transfer speed" when it's done, and finally update tesh accordingly

Fix model checker config issue

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

Move config from surf to simgrid

Cosmetics : Remove whitespaces for mquinson :-)

model-checker : remove tesh bugged2 (too long with the new version of DPOR)

model-checker : update tesh bugged1 with the new version of DPOR

model-checker : interleave all enabled processes for each state and apply DPOR only once per process

model-checker : cosmectics

Remove comm from src_proc->comms and dst_proc->comms when finish it,
if is detached (dsend)

Currently, with dsend action, the wait of src_proc is not necessary to
finish the communication. In this case, only dst_proc removes this
communication from its list and destroys it, if src_proc is always
running. When src_proc makes a process_cleanup after that, it
retrieves this communication in its list while it doesn't exist
anymore and thinks that this communication isn't for it. This led to a
simulation error.

remove comm from rdv if comm destroyed before being finished

doc fix: AS has no 'name' attribute, but a 'id' one

reindent, no real change

Typos.

Use cat+here document, instead of non-portable echo -e.

make doxygen happy

SimGrid 3.7 is ways too recent for GRAS (+cosmetics)

document how to react when stuff break during the upgrade

ignore that binary file

change the way we handle MPI_Request termination
to avoid using smx_action too much in smpi.
Removes a few more leaks in collectives
Handling of waitany was changed, it should return sooner and avoid a few unnecessary simcalls

Spell check...

This is useful for those typing ./configure & make without looking at output. :)

Add ctest2junit.xsl for jenkins

Another missing include, needed with tracing=off.

model-checker : update tesh bugged1_liveness

File simgrid_modules.png is automatically generated.

Add rule to generate png files from DOC_FIGS.

Sort list, and add missing file output.goal.pdf.

Remove/add a few includes.

Revert "I'm so glad that this line is useless"

This reverts commit 5904252e9e4e84030ee544d5efbd832dffa696a7.

It broke builds with tracing=off.

Enable tracing for Nightly_memCheck too.