model-checker : update include file

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

model-checker : remove binary name as argument of some functions, available with xbt_binary_name

Event generation for probabilist tmgr_trace

This piece of code is absolutely untested, however, because the actual use of this type of tmgr_trace is not implemented yet.

model-checker : print statistics in all cases (property satisfied or not)

model-checker : comment unused statistics information

Don't rely on the non-standard on_exit() function.

Update script due to removed file.

Now it is simgrid java 1.2 ;)

Rename functions xbt_dict_hash*() to xbt_str_hash().

Inline functions without their definitions don't make much sense.

Declare xbt_dict_hash() and xbt_dict_hash_ext() as static inline,
and move their definitions in header file.

Remove some debug from execution

Add disk usage and size parameters for storage.

Find ns3 version 3.14

Add a constructor for probabilist tmgr_trace

begin to add some support for this type of tmgr_trace

that's perfectly fine to not free that memory on process terminaison on Apple

model-checker : warnings compilation fixed

fix merge conflict

model-checker : fix number and address of blocks in heap comparison algorithm

Missing include.

Use XBT_PUBLIC for exported functions.

Define variables in C file.

Declare exported functions in header.

Fix compilation errors about unused or uninitialized variables.

These are not real fixes and should be properly corrected,
hence the "FIXME" comments.

change a function name that I forgot to change

Trace manager : add a function to generate values from probabilist distributions

Trace manager : Add and change some structures and functions

New structure to generate event dates, and new functions to create them.
The tmgr_trace structure takes now a dynar of events, or 2 event generators.

model-checker : remove useless memcmp in heap comparison algorithm

Add a function to copy a RngStream structure

Move XBT hash functions to xbt_str.c and make them public

gcc defines __APPLE__, use this instead APPLE

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

model-checker : heap comparison algorithm rewrited

Add new functions to support different sources of avaibility trace

These functions are still nearly empty, however.

Modify structures to support different sources of avaibility trace

renamed function : tmgr_trace_new() to tmgr_trace_new_from_file()

First step to move trace replay from MSG towards SMPI
start by moving what isn't connected to MSG into xbt
had to change some file names as xbt_replay_trace_* was a too long
prefix and files are no more limited to the trace reader only.

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

Changed masterslave with failures test platform

The new platform is simpler, but now includes a case that fails :
if a host fails when it is running a task, simgrid crashes.
The expected outputs in .tesh files have not been updated yet.

[trace] paje header changed, update tesh

[trace] paje file format has evolved with a new event PajeResetState, follow it

Whitespace etc. (take #3).

Fix Doxygen error.

Fix the following error:
error: the type 'dirs' is not supported for the entry tag within a navindex! Check your layout file!

Simply removed the offending line.

Update Doxyfile with doxygen -u.

Update doc to inform which gcc or clang to use.

Hack to compile smpi on Mac (but need to fix;)

More whitespace cleanup.

About 2441 useless spaces at end of lines removed, mainly in doc/.

Update doc for install section.

Update Changelog for MAC and Win package

Cosmetics: whitespace cleanup.

Add a word about Debian/Hurd in Changelog.

prepare the ChangeLog and NEWS files for the upcoming release

a word on installing onto Mac OSX systems

Try to put script before and after install simgrid on mac

Update script for iceberg

typos in message of backtrace display (where malloced -> was malloced)

[trace] viva graph configuration (same as for triva, but without outer curly brackets)

[trace] launch an exception if user provided an unknown value for the type

The usual typo.

avoid double free issues when on host failure+process run

Bug fixes around the resource failures in Simix

don't let the processes survive the host they are running onto when
they were running something. The same kind of fix is probably due when
they are communicating or sleeping.

do not hide issues

Declare as "unsigned" bit fields used as boolean.

Signed bit fields of length 1 do not make much sense.

This is a followup for commit 1377c28e7b9f315616ee6fddc6baa755e0380e75.

Cosmetics: align comment.

Add missing includes.

A boolean should be unsigned if you want to compare it to 1.

Without the "unsigned" keyword, the boolean could be either 0 or -1.
This made the Lua tests crash because of a condition "copied == 1".
This bug was introduced by commit 13b40eda ("make it clear that this is a
boolean field").

model-checker : XBT_DEBUG replaced by XBT_INFO

model-checker : new properties in promela for centralized_liveness examples

model-checker : new examples

model-checker : free pointers

model-checker : free pointers

model-checker : initialize pointer and update indice of search in heapinfo

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

model-checker : free pointer

model-checker : initialize pointers (segfault with free)

model-checker : add pair's number in struct mc_pair_reached and prepare canonicalisation in comparison of regions

model-checker : free pointers

Undefine this terms, or supernovae build will fail.

memcheck_tests: regenerate.

model-checker : oops, about 3000 blocks unchecked in heap comparison algorithm ... stop condition changed

model-checker : first work for canonicalisation (get memory area pointed, check if in std_heap)

Use XBT_PARMAP_DEFAULT as default SIMIX parallel mode.

Use default value core, state host value if empty

Missing routing callback and creation of SIMIx and MSG hosts

Don't run tests if facility not available.

Functions RngStream must be XBT_PUBLIC for dll

Declare nonfatal java in the package

Cosmetics
2times include

Add missing files to install on WIn

Fix compilation on Windows with pthread.

Use the correct variable to check for working ucontexts: CONTEXT_UCONTEXT

HAVE_UCONTEXT_H only tells us whether ucontext.h exists or not.

Lua: fix an indentation bug in debug logs (the stack crashed)

Don't lie about VCS.

Also remove reference to variable ARGS in generate_memcheck_tests.pl.

Remove usage of environment variable ARGS in tesh files.

It is nowadays never used, and such a generic name can be source of
problems (it could be defined for other purposes).

Revert "Don't fail when backtrace() returns 0."

This reverts commit 944109bb21e5dc635a47813a2adff0e16305d9c9.

This commit is controversial, and was intended to fix build on systems
where backtrace exists, but returns 0.

The only known systems with such behavior are Debian on ARM (armel, armhf).
Another workaround is to compile with the -funwind-tables gcc option.

See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=637360 for more information.

Sorry for this.

Don't change doxygen typo for \dontinclude

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

Move RngStream to xbt (public)

model-checker : remove unused variable CS_PER_PROCESS