meaningful pebcak message: you need to compile MC in to use it

more informative documentation of cmake option, and kill dead cmake code

more on testing the dotloader
dot_test2 has some strange unstable behavior. remove it from the tesh
for now

model-checker : remove unused example

model-checker : new surf configuration mc-checkpoint

Revert "model-checker : add new surf configuration mc-checkpoint"

Need more modifications

This reverts commit 997b2f3f37f1b2ee77b2dfbf82c70e183a5ed5f3.

model-checker : add new surf configuration mc-checkpoint

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

Add on_exit support on SIMIX/MSG, calling functions when the process is dying (stopped)

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

beginning of automated tests for the dotloader. To be continued

oups

don't try to browse a dynar that has been freed

Don't try to dump an output if no event has been stored (because
SD_simulate wasn't called)

model-checker : cosmetics, tab forgotten

Remove unused variable

Bugfix in MSG_parallel_task_execute

Stop doing evil things in MSG_parallel_task_execute/MSG_process_sleep

Put the different model in the dtd. Permit the xml validation before parsing.

typos

Add 2 tesh files for new stuff and make them part of the testsuite

Factorise MSG_task_execute and MSG_parallel_task_execute

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

More cleanup!

add a simple explication about how to use the config options.

Remove old cruft.

It is not referenced anywhere, and the last meaningful commit dates from 2006.

Memory leak fix

remove some useless output on workstations

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

make use of the newly introduced MxN data redistribution and actually
autoschedule one such task

works better once tested

Use the same way of checking the state of the communication in process_sleep.

Replace usleep for nanosleep

Bugfix of the previous commit.

Remove unused file.

Keep tabs in generated files.

Include "xbt/RngStream.h", and avoid duplicate definition of typedef RngStream.

Fix issue when a host failed while executing a task (the glass is only half full however, we should do the process kill in simix)

model-checker : cosmetics reindent

model-checker : cosmetics reindent

model-checker : cosmectics reindent and unnecessary whitespaces removed

update changelog for new types of typed tasks in SimDag

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

Conflicts:
include/simdag/datatypes.h
include/simdag/simdag.h
src/simdag/sd_task.c

add a new type of typed task to represent a MxN data redistribution. It
assumes a 1D block distribution on both sides. Should allow to
auto-schedule some parallel tasks too.

Probabilist trace generator : variable names changed

Add some semantic in the variable names, to better understand their utility.

Fix link between doc pages and redo the sync target

sed -i -e 's/\t/  /g' *.[ch] Please people, stop using tabs in your source

model-checker : detect pointers on valid blocks in heap algorithm comparison

model-checker : memset 0 on block/fragment allocated with mmalloc

Add Layout to Simgrid doc page

Remove generated files to git

typo (and copyright dates on the way)

Start to rewrite the mechanism for usage of a storage

Cosmetics on bar for doc

Rewrite Module in cmake for doc

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

Actually, upvalues were implemented a while ago.

Make rngStream management functions in platform more visible

For statistic reasons, there is one and only one RngStream for the platform.

model-checker : fixme about initialization

model-checker : remove unused code and update debug messages

model-checker : add stats in mmalloc

model-checker : cosmetics reindent

Initial commit for split doc (in order to let Pierre play with it). Please do not sync doc yet !!.

Initial modifications in doc. To be merged with Pierre's removal of FILE_GLOB

Fix compilation warning for unused variables
Remove unused part of code

Remove internal function from the documentation

Typo

Typo

model-checker : update tesh examples with last modifications made on information displayed at the end of model checking (state space statistic removed)

model-checker : add debug messages

model-checker : assert on block/fragment address in heap comparison algorithm

model-checker : unnecessary comments removed

Fix tesh and cmake files for test masterslave_virtual_machines.

Do the make distcheck command into the CMAKE_BINARY_TEST_DIR directory

Add missing files to distrib

Add 'content' priority for storage and then storage_type

Mark those exe as advanced

Rewrite some target for make dist*

Don't enable supernvae by default, now we often use gcc >= 4.6

Put the storage content into the storage and not into the storage_type

add a new stressing test to GRAS. Yeah, it actually breaks things quite often...

Add xbt/automaton/automaton_create.c to supernovae fragile sources.

Tell full directory for ddt_parse.yy.c

Put a warn if try to make a dist without maintainer mode

Don not stop compilation but just put a warning

For now model checking can not be compile with flto.

Add generated mc files to extra dist

Clean sources for mc and reedit some files

Fix includes in surfxml_parse.h

Remove unused variable.

Remove unused files

add missing platforms in distrib

model-checker : remove clone file

model-checker : remove unused files in examples/ms/mc

slight modifications

add a new example that use SD_task_set_rate to throttle a communication

2nd part of kill GLOB_RECURSE

resolve merge conflict

model-checker : examples updated with new lex and yacc parsing

model-checker : lex and yacc parsing moved in src/xbt/automaton/