add tests for ompi selector

add a new allreduce algorithm from openmpi

activate commute flag for MPI_Op, adds smpi_op_is_commute to test it (-1 FIXME !)

remove warnings in smpi selector

model-checker : update tesh for liveness example

model-checker : update tesh

model-checker : remove out of date tesh of chord example

avoid double variable definition when tracing is activated (+some
indenting)

model-checker : free memory

model-checker : increase number of colors for dot output

cosmetics : indent

model-checker : use raw_heap instead of std_heap

model-checker : fix dot output for smpi examples

cosmetics : indent

model-checker : add information in counter-example and dot output

New actions for the time independent trace replay framework:
Gather
AllGatherV
ReduceScatter

* I changed some declarations from xbt_new0() to calloc(), I had to use an MPI datatype variable declared as MPI_CURRENT_TYPE and it was not possible with xbt_new0().
* Some new example files for the collectives calls with real values extracted from BigDFT.

rename old alltoall selector function, which will probably be removed soon

add ompi selector for smpi collectives (use --cfg=smpi/coll_selector="ompi" to activate)

simpler version of simcall to get the file of a file

allow tasks to take no output nor produce any output

Bugfix

Fix exception handling in Java semaphores

Bugfix in semaphore code

Add correct headers for Java exports

Bugfix

An example to test MSG semaphores

Update ChangeLog for Semaphores in Java

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

Added Semaphore visibility to the Java bindings

revalidate

setting result help to propogate it

no need to free the file descriptor when you just want the file size
... have to think harder when copy/pasting

stream to fd

copy/paste error

fp => fd (for file descriptor)

Wow, I wrote a simcall! 11 files to modify to do a simple get_size on a
file ...

unsigned long to size_t

add a function to retrieve the size of an msg_file_t

Make semaphores visible from MSG

Export setAsyncMailbox to Java world

more cleanups related to stat on files

no more stat structure

file_stat.h has been removed

remove references to an include file that doesn't exist anymore

kill some dead code

commit my eclipse configuration file so that others can use it

these got regenerated, apparently with a newer version of bison

unignore eclipse project file, ignore some crappy compiled files

say that we messed with msg_file

revalidate tesh to account for BIG FAT WARNING

revalidate tesh

simplify the examples of file usage

path and size should be enough to describe files stored on a storage
resource

Simplify the way files are described. Get rid of the stats, the
MSG_file_stat, and all the underlying functions

start to simplify the stack of structures for files. Get rid of stats
and just keep name, size and mount point

typos

document the fact that we accept abbreviations of log setting modifiers, even harsh ones

cleanups: kill unused forward declarations

big fat warning to avoid an issue that Lionel encountered

display a warning message to avoid that some people use that binary by error

document some recent changes

model-checker : generate dot file for the verification of liveness properties

model-checker : use else if instead of if then if

model-checker : fix dpor with dot_output

model-checker : modify chord example in mc for exhaustive exploration

Each node executes only one of the periodic sub-protocols (stabilize,
fix fingers, check predecessor or lookup) then it replies to requests
from other nodes.

model-checker : fix memory free

model-checker : remove useless if

model-checker : fix compilation error

model-checker : remove useless take/restore snapshot

Try to support older versions of cmake.

model-checker : update bugged1_liveness tesh

model-checker : initialize variables

model-checker : remove comment and add debug message

model-checker : simplify algorithm for the verification of liveness properties

model-checker : take snapshot of memory segments during the parsing of /proc/self/maps

model-checker : use only structure (mc_pair_t) for the verification of liveness properties

model-checker : free memory

model-checker : add global variable in bugged1_liveness example to change the number of clients

Remove reference to nonexistent class.

It was removed more than one year ago.

Try to normalize path for libraries bundled into simgrid.jar.

Also add LICENSE file to simgrid.jar.

It is referenced by file COPYING.

Small improvements to parmap_test

* print an error message, and change exit status on error
* reduce test time by decreasing the sleep duration in fun_get_id()

Add scala masterslave bypass and kill

Add missing FindScala.cmake

Add a scala masterslave example

Fix Windows Jenkins script

Restore parmap unitTesting as part of teshsuite.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>

Add linux and win shell scripts for jenkins

SIMIX must be initialized now to use parmaps.

Remove now unused log category.

Remove unused variable.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>

Add of context creation in parmap.

Remove parmap from unitTesting because we need a context factory
for parmap creation now.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>

Remove parmap from surf.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>

Include TRACING_SRC only when HAVE_TRACING.

Give size of pointed area, not size of pointer.

Add platf_route_rulebased2full.py to bin_files.

Avoid unnecessary utf8 characters in ChangeLog.

Remove PCRE dependency and RuleBased routing

Add new boolean type for configuration

requalify tesh for replay to account for 301c31f7