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

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

model-checker : remove unused files

Indentation fix

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

Fix format string.

Remove unused variable.

Add cases for missing enumeration values.

Also move the default case outside the switch, so that missing
entries cause a compilation warning or error.

[trace] correctly generating viva categorized configuration

add a SD_task_set_rate function

Update MSG_comm_wait documentation

First step to delete GLOB command from cmake

Reorganized some files for cmake

Add a MSG_vm_destroy function to free a virtual machine

Add tesh file for masterslave_virtual_machines

Bugfix in cloud API (again)

model-checker : remove unnecessary include in lex file

Fix the cloud API, nicely this time.

Use {include,link}_directories for Find{F2C,Graphviz,Lua51} too.

Revert "Debug the cloud API, it should work as expected now."

This reverts commit 535815db45bb2162b257e5c208ee7015dd2cc8f6.

Ensure that additional include/link directories for libpcre are added at the end of the list.

Otherwise, there is the risk to used older versions of the SimGrid includes.

Hope this won't break anything...

__GNUC__ is already defined at this place.

model-checker : add header (description, copyright, license)

[trace] we don't destroy things we didn't create

[trace] re-write of trace mark API, need to declare values before using them

[trace] only ignore the call if the mark type wasn't declared

[trace] we don't need to trace the destruction of the root container

[trace] don't let mark the trace if platform is not traced

model-checker : add header (description, copyright, license)

Add a defined(__GNUC__), and rework expression.

speak nicely to old gcc versions

Fix build with paranoid flags: remove redundant '\0' in string.

The reported error was:
src/instr/jedule/jedule_output.c: In function ‘get_hierarchy_string’:
src/instr/jedule/jedule_output.c:89:13: error: embedded ‘\0’ in format [-Werror=format-contains-nul]
src/instr/jedule/jedule_output.c:91:13: error: embedded ‘\0’ in format [-Werror=format-contains-nul]
cc1: all warnings being treated as errors

model-checker : comment unused variable

model-checker : get end heap with field breakval in struct mdesc ( old function get_end_addr_heap kept in comments)

updated jedule output of SimDag

model-checker : move print statistics if property is valid

model-checker : fix std_heap address for heap comparison algorithm

model-checker : in second test unit, snapshot comparison done before MC_UNSET_RAW_MEM (set current heap=std_heap)

[trace] correct impossible code.

PJ_value_get() can't return NULL.  Use PJ_value_get_or_new() instead.
Fixes test smpi-tracing-ptp.

[trace] new function: PJ_value_get_or_new().

[trace] throw an exception instead of returning NULL.

[trace] test is obviously redundant here.

New function: MSG_host_set_property_value()

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

Debug the cloud API, it should work as expected now.

Enable tracing by default. This modules rocks you should use it

Generic script for each version

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

Bugfix in msg/io example

model-checker : get std_heap with mmalloc_get_current_heap instead of function argument

Change the file API, remove the mount point in each file function.

Rewrite the platform_script.lua used by the test for lua console.

The lua console is still not fixed, but at least the script should be
syntactically correct.

Cosmetics: allow a semicolon after macro usage.

Without this change, tools like etags are confused and fail to parse
the file correctly.

model-checker : new test unit for snapshot comparison

model-checker : remove unused argument in functions for heap comparison algorithm

model-checker : add total hamming distance for heap comparison algorithm

model-checker : test unit for snapshot comparison

model-checker : unused variables deleted

model-checker : remove unnecessary get_memory_map_addr function

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).