model-checker : wait with timeout is always dependant with another transition

fix debug log

model-checker : use MC_assert instead of assert for the verification of mpich3 integrated tests

Merge remote-tracking branch 'origin/libdw2'

[mc] Add DW_TAG_formal_parameter as variables in the frames

[mc] Use literal values in DWARF constant to name mappings

[mc] Cleanup mc_dwarf.c

[mc] Remove useless argument in MC_dwarf_at_location

[mc] Add comments/doxygen

[mc] Free memory for object_info

[mc] Remove objdump code

[mc] Remove code for location of .plt and .got.plt

This code was not used anyway. If necessary a new solution which do
not depend on objdump should be used.

[mc] Use libdw for location list

[mc] Use libdw for functions and local variables

[mc] Use libdw for global variables

[mc] Deduplicate address location resolution in MC_dwarf_resolve_location()

[mc] Remove MC_dwarf_tag_type()

[mc] Add dwarf_global field to dw_variable_t

It is a better (but not perfect) identifier for a entry.

[mc] libdwarf integration for types

[mc] Use DWARF constants for type tags

[mc] Link against libdw

[mc] Fix warnings

model-checker : first steps for the study of MPI communications patterns

[mc] Remove type DW_TAG_enumerator type (because it is not a type)

[mc] Split byte_size and element_count in mc_object_info_t

[mc] Remove spurious return in MC_find_object_address

[mc] Add comments

[mc] Restore lightweight MC initialisation procedure

[mc] Cleanup mc_object_info_t code

[mv] Remove global {start,end}_{plt,got}_{libsimgrid,binary}

[mc] Add plt/got in mc_object_info_t

[mc] Move start_text, start_data, start_bss into mc_object_info_t

[mc] Include ELF file name in object_info_t

[mc] Remvove mc_{global_variables,local_variables,variables_type}_{libsimgrid,binary}

[mc] Do not use mc_{global_variables,local_variables,variables_type}_{libsimgrid,binary}

[mc] Refactor, group some informations about a given ELF in mc_object_info_t

[mc] Use LANG=C when calling objdump

The output of objdump change with the locale and the parser fails with some locales.

Conflicts:
src/mc/mc_checkpoint.c

[mc] Add some documentation to the MC DWARF code

[mc] Fix bug in recurive call of compare_heap_area_with_type

When comparing arrays, the number of elements of the array was passed instead of the size of the elements.

[mc] Fix bug when parsing /proc/self/maps

Sometimes, the heap is not found by the MC :

* the MC expects the heap to be anonymous/unlabelled in
  /proc/self/maps;

* the heap may be labelled as as [stack:$tid] in /proc/self/maps at
  some instants of the execution of the program because the tasks
  stacks are allocated on the heap.

[mc] Fix broken objdump parser with new versions of objdump

objdump -Wo used to produce this:

     Offset   Begin    End      Expression
     00000000 000000000040149c 000000000040149d (DW_OP_breg7 (rsp): 8)
     00000000 000000000040149d 00000000004014a0 (DW_OP_breg7 (rsp): 16)
     00000000 00000000004014a0 00000000004014ba (DW_OP_breg6 (rbp): 16)
     00000000 00000000004014ba 00000000004014bb (DW_OP_breg7 (rsp): 8)
     00000000 <End of list>
     00000060 00000000004014bb 00000000004014bc (DW_OP_breg7 (rsp): 8)
     00000060 00000000004014bc 00000000004014bf (DW_OP_breg7 (rsp): 16)
     00000060 00000000004014bf 00000000004014c6 (DW_OP_breg6 (rbp): 16)
     00000060 00000000004014c6 00000000004014c7 (DW_OP_breg7 (rsp): 8)
     00000060 <End of list>
     000000c0 00000000004014c7 00000000004014c8 (DW_OP_breg7 (rsp): 8)
     000000c0 00000000004014c8 00000000004014cb (DW_OP_breg7 (rsp): 16)
     000000c0 00000000004014cb 00000000004014d2 (DW_OP_breg6 (rbp): 16)
     000000c0 00000000004014d2 00000000004014d3 (DW_OP_breg7 (rsp): 8)
     000000c0 <End of list>
     00000120 00000000004014d3 00000000004014d4 (DW_OP_breg7 (rsp): 8)
     00000120 00000000004014d4 00000000004014d7 (DW_OP_breg7 (rsp): 16)
     00000120 00000000004014d7 00000000004018c0 (DW_OP_breg6 (rbp): 16)
     00000120 <End of list>

but now we get this:

    Offset   Begin    End      Expression
    00000000 0000000000401252 0000000000401253 (DW_OP_breg7 (rsp): 8)
    00000014 0000000000401253 0000000000401256 (DW_OP_breg7 (rsp): 16)
    00000028 0000000000401256 0000000000401270 (DW_OP_breg6 (rbp): 16)
    0000003c 0000000000401270 0000000000401271 (DW_OP_breg7 (rsp): 8)
    00000050 <End of list>
    00000060 0000000000401271 0000000000401272 (DW_OP_breg7 (rsp): 8)
    00000074 0000000000401272 0000000000401275 (DW_OP_breg7 (rsp): 16)
    00000088 0000000000401275 000000000040127c (DW_OP_breg6 (rbp): 16)
    0000009c 000000000040127c 000000000040127d (DW_OP_breg7 (rsp): 8)
    000000b0 <End of list>
    000000c0 000000000040127d 000000000040127e (DW_OP_breg7 (rsp): 8)
    000000d4 000000000040127e 0000000000401281 (DW_OP_breg7 (rsp): 16)
    000000e8 0000000000401281 0000000000401288 (DW_OP_breg6 (rbp): 16)
    000000fc 0000000000401288 0000000000401289 (DW_OP_breg7 (rsp): 8)
    00000110 <End of list>
    00000120 0000000000401289 000000000040128a (DW_OP_breg7 (rsp): 8)
    00000134 000000000040128a 000000000040128d (DW_OP_breg7 (rsp): 16)
    00000148 000000000040128d 00000000004016a1 (DW_OP_breg6 (rbp): 16)
    0000015c <End of list>
    0000016c 00000000004016a1 00000000004016a2 (DW_OP_breg7 (rsp): 8)
    00000180 00000000004016a2 00000000004016a5 (DW_OP_breg7 (rsp): 16)
    00000194 00000000004016a5 0000000000401bd7 (DW_OP_breg6 (rbp): 16)
    000001a8 <End of list>
    000001b8 0000000000401bd7 0000000000401bd8 (DW_OP_breg7 (rsp): 8)
    000001cc 0000000000401bd8 0000000000401bdb (DW_OP_breg7 (rsp): 16)
    000001e0 0000000000401bdb 0000000000401ced (DW_OP_breg6 (rbp): 16)
    000001f4 0000000000401ced 0000000000401cee (DW_OP_breg7 (rsp): 8)
    00000208 <End of list>

The offset is not stable in a given list.

Release version 3.10-rc2.

This part is not relevant anymore.

Give smpiff the directory to libf2c.
(cherry picked from commit 1848d40fafafab07f8c798116d5c507065f4c97b)

Don't add include directories when f77 support is disabled.
(cherry picked from commit 482244d2827841bb565348470beb8167c7558337)

Try to fix temp file creation.
(cherry picked from commit 0be4d91dea4f9aeb5e9e298dc579d4ba2b03a2b7)

be a little more tricky and hopefully more portable
(cherry picked from commit 3e7047f7353ca1853d3eb5415264714a0315a8d4)

more bash->sh changes
(cherry picked from commit 65f30b16e0e4b23e41c6306290bc3f04f66986a8)

thanks to Matthieu Volat, freebsd build may work again. If it doesn't, blame him
(cherry picked from commit afa65d266d24d09dce77e5a2e40dec5abdd791b7)

flto has not the right effect with clang
(cherry picked from commit 56d1e384b07f2eacd980c30a447504cdf5f1d6ef)

I blame someone else for this
(cherry picked from commit 9e330fa625482e41928374164d70cdd209f3f0c7)

Support for F90 also needs f2c.
(cherry picked from commit 433246799eb9913ddb7d902cc1147a39215ee60a)

Look for gfortran before enabling support for smpif90.
(cherry picked from commit 85b2dce67ce8e0e1b4c68f6fbbf4d6f427bca3ff)

Name the release (following frs69wq's advice).
(cherry picked from commit 1028bf295229d3a5c75a74b910ca34000d40bb79)

Free group_lookup at finalize.

Also remove useless assignments: variable are already reset to NULL
by xbt_dict_free.
(cherry picked from commit 078e59c8562f1a12a828b8197689c1843d0b6e07)

this test used too much memory for build slaves, divide by 4 the buffer size
(cherry picked from commit b60816bd929521783f045ec907fd540efda16e9f)

Fix build of jar file with cmake >= 3.12 (try #2).
(cherry picked from commit 7727ed2b76d9fac788bf6bdefbbf49a0425a10e8)

This test does not work with MC.
(cherry picked from commit ddb79fc2ffed5e509b0898e0adae70cc24622fb8)

Increase junkarea to 4kiB.
(cherry picked from commit 49b058066db4e2b4e78b9f7924dd3795a024d94a)

Fix 32 bits builds.

f2c defines integer as long int on 32 bits systems.
(cherry picked from commit 612d201268a4154815e62436f30da3e6323486ee)

Add Fortran examples for smpi+dvfs.
(cherry picked from commit 28ec59bf4a9e4b04c1af121616b72bd846772fa5)

Add Fortran bindigns for smpi+dvfs.
(cherry picked from commit 12a61a8ab437baed346e356f63e02cdaeabeb6f4)

Add example for smpi+dvfs.
(cherry picked from commit 40f9c3e861f4b651dc2dd63b79271e735931a1a7)

Export DVFS functionality for smpi (experimental).
(cherry picked from commit 444b3487fdce26571d25a82b1fb835c8c15e550f)

smpi build without F2C was broken since 58ea5966
(cherry picked from commit 18bbe5b38ef4565c39f452b42a5b5417c5ad61ed)

changelog
(cherry picked from commit c06cc40fb52a8e289add52024b916b728f1a24fa)

potential fixes
(cherry picked from commit 7e5c2f3a409fb782e912f80867b8573a54e0dc09)

leak --(cherry picked from commit dd1330c53beec9c5abb8b23375062e6acf214632)

Cosmetics: adjust spaces.
(cherry picked from commit 518ff51fd36819ad91b647e5918f0e6e0440f4c8)

Make functions public, they are need by macros SMPI_SAMPLE_{DELAY,FLOPS}.
(cherry picked from commit afcb6663eebe4a13bf9ffed05192253f1b6e5297)

Cosmetics: uncapitalize.
(cherry picked from commit d88fcc7f21b9444f107576afeaed127dfd4de049)

revalidate tesh, no impact on time, but cleaning makes jupiter be the
last to finalize(cherry picked from commit 5a3326284f6d3377fd38786633ae8347178d4ded)

handle pending asynchronous requests on finalize (should be harmless in
most cases, everybody should has completed)(cherry picked from commit a09da6c17ad98c22da2c043958f60e0336e9942b)

simplify and improve the way asynchronous send and receive are handled(cherry picked from commit 3b0cc88be96b2f07a2a4829a659a4f02f9bbf594)

Misc cleanups.

* stat'ing the directory before mkdir is just wrong (race condition),
  remove this test and let fopen report any error;
* use mode 0777 for mkdir, and let the user adjust his umask;
* use xbt_free() instead of free();
* remove useless tests before xbt_{dict,dynar}_free();
* and the usual reindent.
(cherry picked from commit 332285d51119f8f98270655bf88f485a9f914df1)

Simplify logic, and free loc in all cases.
(cherry picked from commit 903f71895fc1cfd7bbc7609c57b9d09153b7011e)

Avoid to dereference a null index when HAVE_TRACING.
(cherry picked from commit df9b8b6931c264f2e2877e201e31019e6e7dcad3)

Request should not be null here.
(cherry picked from commit b8fc5d84a6fcf56a745815d784bc10ebbeb6e68a)

change tesh test to account for new structure in time independent traces
Not ideal, as tesh is a bit too strict to allow us to really compare the files
(cherry picked from commit bf31c01ca3d4167bd748658b02b5938231f23fc5)

Trace buffer is not to be handled by the format-dependent init functions
(cherry picked from commit 8ec4cdb61b9430ccbbb5f07e48d46039aa72609f)

Make time independent tracing output by default in one file per process
Structure is filename.txt : list of all the files to open
folder filename.txt_files : all files, with unique names (so that they won't be erased by a new run, only the main one will)

Adds an option tracing/smpi/format/ti_one_file to only use one subfile and put every event in it
For larger runs this will avoid opening too many handles.
(cherry picked from commit dc0e44715d73224df3cff50a9a0f42e73b1afc8c)

Supernovae builds are deprecated.

Use DBL_MAX for values of type double.

Be consistent: change buf to an array of int.

Check that table[0].name is defined.

Also change "model" for "collective" in find_coll_description().

Use xbt_die() for DIE_IMPOSSIBLE.

MPI_Abort can theorically fail.  Add a call to exit() to ensure that the program really stops.

Define buffer on the stack here.

Whitespace cleanup.

Exclude these tests from memcheck.

Next release will be (at least) 3.10-rc1.

Define SIMGRID_VERSION_STRING, and add option --version to get version information at run time.

Merge commit '78f0dd861a9bb479f33b9494a2b4ed7b977288a4' into v3_10_x

Add some MSG_file function prototypes

Rewrite to avoid compiler warnings about unused variables.

Cast operands from both sides of the comparison to the same type.

These options are specific to gcc (not recognized by clang).

Avoid to use static variables from inside a non-static inline function.

Clang is a bit picky about this.

There is no need to export these functions.  Mark them static.

Inline is overkill for this function.