Variable "duration" is never used.  Remove it.

Remove unused variables.

Split xml files to avoid memory leaks in the parser.

Typos.

Reset task before each receive.

Fix file names: they were exchanged.

Fix build with -Denable_jedule=ON.

Closes bug #16653.

Add msg task destroy cancel test

Add msg host on/off test

Comment unused parameter.

Fix another null dereference.

Also remove useless variables.

Fix test bogus-missing-gateway.

Avoid to dereference null pointers.

Check if p_routingTable is null in AsFull::~AsFull.

Add test for missing dst gateway too.

Don't dereference null pointer.

Thanks to Stéphane Castelli.

[mc] Add support for DW_TAG_unspecified_type (nullptr_t in C++11)

[mc] Bring back old code for MPI_Finalize (disabled)

Some test (probenull) do not terminate with the new code of
MPI_Finalize.

fix the dist target

add a test reproducing the issue experienced by Luke Bertot

Rename a test to clearly show that it should properly detect bogus input files

hide some new advanced variables in CMake

ignore some more example binaries

obvious typo

Merge branch 'mc++' into mc-merge

[mc] Fix broken tests with surf++ (because simcall number have changed)

 * do not print the simcall numbers as they are not stable;

 * remove them from test expected output of tests.

[mc] Log some information for the prefiltering phase of state comparator

get the doc in sync with what happens in code (thanks to Luke Berthot for the report)

Don't change the address of the buffer of the MPI_Request for a send, as it may be reused.

Change the way persistent MPI_Request are handled after their use.

generalize behavior of commit 3391e81 to other test/wait functions

Some cleanup in FindNS3.cmake.

Clean surf code

Persistent comms may be reused after a wait, do not put their handle to MPI_REQUEST_NULL

[mc] Handle DW_TAG_class_type as DW_TAG_structure_type (C++)

Merge branch 'mc' into mc++

Merge bugfix from branch mc-refactor

Conflicts:
src/xbt/mmalloc/mm_diff.c

Merge branches 'mc'

[mc] Fix format strings

Merge bugfix

[mc] Fix buf introduces by previous commit

Comparing a size with a DIE tag.

[mc] Handle reference_type and rvalue_reference_type as pointer_type (C++)

[mc] Skip declaration of data_members (C++)

Skip declaration in in header:

    struct foo {
     [...]
     static int bar
    }

We are interested in (.cpp):

   int foo:bar = 42;

[mc] Skip variables/members which are compile time constants

The current code expect location for each variable/member and it is
missing for constants.

[mc] Fix typos

A dwarg is a mix of a dwarf and a warg?

[mc] Handle DW_AT_start_scope (for constants)

[mc] Handle DW_TAG_namespace (C++)

model-checker : smpi examples for the communication pattern detection

model-checker : print comm pattern

model-checker : use separate configuration flags for comm determinism and send determinism detection

model-checker : check if action not NULL before using it

[mc] Basic namespace support (for types)

lots and lots of changes

[mc] Do not use linkage_name as a name

If needed, it would be better to use a separate field.

[mc] Add MC_dwarf_tag_classify()

Add MC_dwarf_tag_classify(tag) which regroupe different similar
DW_TAG_* items classes. This is in preparation for upcoming
modifications of the DIE handling code.

[mc] Do not try to handle scopes inside a subprogram

The variables of a subprogram scopes were merged in the information
about subprogram without any information on its range of validity (for
which range of IP the variable is valid).

As this handling of scopes was broken, this commit ignore the scopes within a
subprogram.

We need to:

  * either add frame_t as child of frame_t to represent scope;

  * or attach validity information on each variables

    This one is needed anyway in order to handle DW_AT_start_scope.

  * or both.

    Use frame_t for DW_TAG_inlined_subprogram and validity range for
    real scope.

-    if(dwarf_offdie(dwarf, offset+length, &die)!=NULL) {
-      MC_dwarf_handle_die(info, &die, &die, NULL);
+    if(dwarf_offdie(dwarf, offset+length, &unit_die)!=NULL) {
+      Dwarf_Die child;
+      int res;
+      for (res=dwarf_child(&unit_die, &child); res==0; res=dwarf_siblingof(&child,&child)) {
+        MC_dwarf_handle_die(info, &child, &unit_die, NULL);
+      }
     }
     offset = next_offset;
   }

[mc] Use dynar instead of dict for storing functions

Multiple instances of the same function with the same name can be
found in a given program:

  * different local static functions;
  * same inline functions;
  * overloads (C++);
  * ...

[mc] Move MC_ignore_local_variable and MC_ignore_global_variable to initialisation code

[mc] Add missing DW_FORM_data1 (enable C++ support)

For some reason DW_FORM_data1 was only used in C++ compile units.

Merge 'master' into mc

Conflicts:
src/mc/mc_checkpoint.c
src/mc/mc_global.c
src/mc/mc_private.h

small cosmetics in the Changelog+NEWS files

Merge branch 'mc-perf' into mc

Fix compilation

Use the full jar here.

Add an option to control whether native libraries are bundled into jar file.

May be usefull for e.g. Debian packages.

Isolate generation of the NATIVE path for the jar file.

Now it can be obtained by running:
    java -classpath simgrid.jar org.simgrid.msg.NativeLib

Use it also when finalizing the jar file.

distcheck again.

Cosmetics.

Disk usage computation bug fix

[mc] Avoid resolving TLS over and over again

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

MSG_file_write() bug fix + tesh files improvements

Update changelog and news

Clean surf

Add script to generate multi-platform jar

Make check_dist_archive accept the newly created .gitversion.

Changelog update

this was not needed anymore

Add .gitversion to dist

[mc] Merge add_compared_pointers and already_compared_pointers into add_compared_pointers

Avoid doing the binary search twice.

Fix warnings with make simgrid_documentation.

FIX: forget to update filename in DefinePackage.cmake

Add SG version and Git version in MANIFEST.MF

Fix MSG_storage_get_proporties() bug

[mc] Avoid (slow) type lookups by name or ID (xbt_dict_get_or_null)

[mc] Move mc_find_frame_base in mc_dwarf.c where it belongs

[mc] Use resolved addresses in entry.low_pc and entry.high_pc

[mc] Use resolved addresses in frame->low_pc and frame->high_pc

Missing commit for introduce model specific properties for storage_type

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

Introduce model specific properties for storage_type

Cleanup.

Update changelog

Fix normalize-pointers script

Inform user when model-checking has been disabled because of HAVE_MMALLOC.

Also use HAVE_MC instead on enable_model-checking in cmake's final report.

Fix some overflows in msg_vm on 32bits archs.

Reindent function.

[mc] Do not waste time calling libunwind get_proc_name in the hot spots

In typical executions, nearly 50% of the time was spent in libunwind
get_proc_name.

The algorithm to find the function for a given IP (instruction
pointer) was:

  (proc_name, offset) = get_proc_name(ip) // Slow!
  dwarf_ip = ip - offset
  function = functions_by_name[proc_name]

We added a structure mapping IP ranges to functions and the algorithm
is now:

  function = functions_by_ip[ip]

Instead of relying on libunwind, we use the DWARF information to find
the corresponding DWARF TAG_subprogram DIEs directly.

The secution time on some MPICH tests is nearly halved.

Notes:

 * It was necessary to disable the support for inlined_subprograms
   which was broken anyway: the inlined_subprogram entries should be
   stored as children of their parent subprogram (as a block). We need
   to add support for scope blocks inside a suprogram to handle this
   correctly.

 * Currently the translation between process virtual addresses and
   DWARF virtual addresses is handled in many different places. We
   should change this to process it only when parsing the DWARF DIEs
   and be done with it.

model-checker : conflit

model-checker : minor fix