model-checker : restore interleaved process when restore snapshot

model-checker : dfs with good restore snapshot

model-checker : correction of dfs algorithm for liveness properties

model-checker : test dpor without replay from initial state but with
restore snapshot -> ok for safety properties, need more specifications
for liveness

model-checker : rename file mc_dfs -> mc_liveness

MC LTL : last version dfs algorithm before reduction

MC LTL : add statistics

model checker : dfs algorithm corrected

model-check : show stack when property not valid

model-check : dump stack for acceptance cycle

model-check : show stack for acceptance cycle

model check : acceptance cycle detection with automaton (depth first search without dpor)

détection de cycle d'acceptation ok mais boucle infinie en cas d'absence de cycle

correction compile warnings

start new example with parsing lex/yacc of automaton in promela

include new files struct automaton for cmake

new dfs algorithm with automaton of LTL formula

new struct automaton

You can now specify if you want sleep to see memory usage.

Optimize bprintf during cluster loop.

Add optimization flag with gcc46.

use more consistently the resource create of models, killing some useless/borken forwarder methods

save some useless strdups

reduce the amount of damn paranoid checks in simdag. Valgrind is here to report the errors, nowadays

Fix memoryleak.

Need to set state_file and availability file into the loop.

There is no contexts in SimDag

Rewrite perl script for optorsim

Update include tag.

Move arguments outside of the loop of hosts.

Remove unused and old function.

Remove supernovae mode for SimGrid v3.7

Test the help command.

Update tag include

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

setup a mallocator for the simdag tasks. The gain is quite disapointing, but not null

memory cleanups

s/GRAS_STUB_GENERATOR/SIMGRID_LUA/ to actually match file name.

Guard against multiple inclusion.

Fix race condition with gras-mmrpc test.

Register messages before opening the sockets, to avoid to receive
unknown messages.

Figlet for 3.7 was incomplete.

Also do some whitespace cleanup (and save up to 247 bytes!).

tesh: add tests with empty output.

tesh: do not fail on empty output, when sorting is enabled.

Merge stuff again. Damn, I should pull before changing stuff

merge branches

use a user level mallocator on the task content

enlarge my cluster once again

Performance boost by using a swag internally in SD_simulate

Use the partial invalidation optimization by default for the network too

This memory leak fix did not work with complex simulations.

SIMIX_CANCELED is a more adapted state in SIMIX_comm_cancel()

restore some stuff that got killed from the gitignore during some sort of cleanup

enlarge my cluster

first prealpha not working prototype (please public keep away) version of what could be a GOAL loader using simdag

typo--

Add example to kill a process.

Timings have changed: comms cannot continue when a process is dead

Now that processes are terminated cleanly, this recv can fail

In case of failures, a process may become runnable without time step

Since commit e5922b4 (clean unfinished comms when terminating a process),
the test msg-actions was failing on a deadlock instead of waking up
the last process (who can terminate normally after a failed recv).

Improve debug messages

Revalidate Chord tesh output (the end of the simulation is clean now)

Make cancelling a non-running task a no-op

Fix remaining memory leaks in MSG

Simix: clean unfinished comms when terminating a process

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

Fighting more memory leaks in Chord

[trace] fix tesh'es to follow recent changes in the paje header

Reorganize platforms for optorsim.
Add scripts into the right directory.

Fix a memory leak in chord

Update index.doc to have the right references to url.

Add host core to "1.0" for tag peer.

Revert msg-actions to an older and more stable version

Merge branch 'lua'

Conflicts:
buildtools/Cmake/AddTests.cmake

Lua: more debugging info

Update version of SimGrid to 3.7.

Cosmetics. Rename simgrid_BINARY_DIR for PROJECT_BINARY_DIR.

[trace] strictly following the header of the paje file format

Lua: add support of closures to the state cloner

cosmetics in ChangeLog and NEWS: releasing 3.6.2 (yuhu)

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

Find ${CMAKE_HOME_DIRECTORY}/.git/ and not only .git.
Take the right remote name.

these files are not kept by the build system, so we really don't want to include them in the archive (the corresponding .c are ways enough)

Test git version only on a git repository.

Add ignored files for documentation.

Need install cmake.
Be sure cmake is installed.

Rename the installer for windows with win32 or win64

Remove old instruction for ns3 on the documentation.
Now ns3-red is into simgrid.

tesh: try to fix output sanitation.

Make xbt_strbuff_chomp() really do its work.

An empty strbuff should really be empty.

Force stdout to be line buffered.

Thus to avoid to have profiling messages in the middle of a line.

Add --enable-coverage to tesh self-tests.

Add tests for tesh sorting and filtering of ouptut.

.gitignore: website does not exist anymore.

.gitignore: delete .gitignore files in subdirectories.

Most ignored entries already are in the main .gitgnore file.
The other are assumed to be old junk.

.gitignore: do not use wildcards to exclude generated *.l files.

Do not call surf_solve() when there is nothing to run.

Use xbt_dynar_foreach and xbt_dynar_cursor_rm for removing all lignes of coverage.

Add option --enable-coverage to test if code coverage is enable.

Add an option on tesh to ignore output of code coverage.
--enable-coverage