mc/compare: reduce the scope of some variables

Remove option 'model-check/record': paths are recorded in any cases

[mc] enable model-check/record by default, and cosmetics

Fix new/delete mismatch.

Get rid of "local" keyword for sh.

It's not specified by POSIX and not available on Solaris.
Simply use "local_" prefix for local variables.

For more information, see
https://stackoverflow.com/questions/18597697/posix-compliant-way-to-scope-variables-to-a-function-in-a-shell-script

Fix PMPI_Error_string.

MPI_MAX_ERROR_STRING was wrongly used for higher error code.
Use snprintf and ensure the string is properly null terminated.

Specialize return types.

Snake case.

Add "override" specifier.

warnings-=2

replace useless strncpy by a memcpy

[doc] fix another doxygen friendliness issue

[doc] fix links (URL, internal ref + duplication)

[doc] trailing space cosmetics

[doc] fix warnings, cosmetics

[doc] fix warnings, cosmetics

fix some errors and warnings in the doc generation

let's pretend that sunOS supports privatization (no idea)

A first example with MC and S4U together

docker: fix the build of images for simgrid stable

docker: remove useless packages from tuto-mc

a dockerfile for a wanna be MC tutorial

sonar: silence a rule on python code

make sure that xbt/memory_map can be used out of simgrid

This may be useful for future MC evolutions.

add sorting to project description

apparently sunos illumos make/dmake does not like make -jx syntax

--quiet long version is not supported on sunos

On some systems, sqrt(int) is not defined properly. On others its just implemented with a conversion to double.

add some debug messages to MPI_Testany

before matching message sent with MPI_ANY_SOURCE, check that sending process is valid in our local communicator.

Don't use positive tags for internal messages.
They could interfere with receives posted with MPI_ANY_TAG in user's code

[mc] do not ignore MC_ASSERT in replay mode

Enable some more test with memcheck, but with disabled leak-check.

There are lots of unfree'd objects on assertion failure, but we want other
kinds of memory error to be checked anyway.

Tesh files: kill obsolete variables SG_TEST_EXENV and EXEEXT.

Use "exec" so that failures are correclty reported upstream.

Ensure the task is correctly destroyed when the host turns off during execute.

Missing explicit.

Typos.

Kill useless hack (and its union).

Use aligned storage and remove usage of union.

I'm not sure about potential UB, but it should not be worse than before.

Fix a FIXME.

Kill unused static function.

[sonar] Remove void* from function parameters.

Change two dynars (maybe more).

continue the devel of the future 3.23 release

on the way for 3.22.2

include a header we use

[sonar] Catch a more specific exception.

More Sonar smells around "noreturn".

Missing attribute, and remove dead code.

[sonar] Rename shadowing local variables.

[sonar] Extract assignments from expressions.

[sonar] Extract nested conditionals.

[sonar] Assert that pointer is not null.

Rename fields to follow coding syle and unshadow from local parameters.

Kill never implemented option "model-check/snapshot_fds".

Change condition for infinite loops (make sonar believe that function can return).

[sonar] Add attribute "noreturn" to non-returning functions.

[sonar] Don't name unused exceptions.

please sonar by handling properly pointers in unimplemented fortran bindings.

Update URLs (FG #1).

NOTE:
* still missing: pls_ns3.html
* old style (lower case): platform.html

get out before dereferencing null pointer in this case

forgot to push test for write_at_all and read_at_all

cleanup split_type to avoid leaks.

cleanup dup_with_info to avoid leaking in some cases

[sonar] Use unsigned char* for smpi buffers.

Change malloc/free to new/delete.

Use C++ memory operators for smpi buffers.

NOTE: there is a problem with the current implementation. When a resize() happen,
the previous pointer may be invalid, even if it is still in use.

Const for MPI_Type_struct and MPI_Type_hindexed.

Constify third parameter of smpi::Op::apply, and save a few const_casts.

Remove another bunch of const_casts.

Rename some variables for consistency.

Get rid of const_casts in pmpi_coll.

MPI_Address gets const too.

Regenerated.

changelog

MPI_Comm_dup_with_info

move some calls out of the unimplemented zone

some forgotten consts

(painfully) constify colls.

constify MPI_Win*

constify MPI_Request*

constify MPI_Datatype*

constify MPI_Topo*

constify MPI_File*

constify MPI_Group*

Merge branch 'master' of https://framagit.org/simgrid/simgrid

kill some dead code

MPI3 changed MPI interface to use const everywhere it could.
Start with MPI_Info_*

add some unimplemented signatures.

Fix again FG #11 (mixing daemonize and auto-restart).

Main changes:
* don't modify (clean) the on_exit vector on cleanup, but detach its shared_ptr instead;
* define ActorImpl::undaemonize() for daemon cleanup, and use it instead of using an
  on_exit callback (ensures that it is not added multiple times);
* complete test 'tesh-s4u-actor-autorestart' with an auto-restarting daemon.

Unused function parameters.

Check result of lseek.

File "sampi.h" is already included here.

Field seems unused since 10 years at least.

Use bit shift operator (FIXME--).

FIXME is obsolete.

FIXME is irrelevant.

[sonar] Unused function parameters.

Cosmetics: conslidate TODO list.

Many const to remove a mutable (TODO--).