try to get rid of a warning (without causing a dead store in infer?)

avoid going back to complex selector and switch to a simple algorithm here to avoid potential infinite loops.

more tab2spaces

tab to spaces

appease clang

changelog update

these are all pretty much allright, actually ...
just a doubt on chain bcast, but pipeline is close enough I think.

add openmpi scatter linear_nb algorithm

add butterfly algorithm from openmpi
described in [*] J.L. Traff. An improved Algorithm for (non-commutative) Reduce-scatter with an Application // Proc. of EuroPVM/MPI, 2005. -- pp. 129-137.

MC seems to just work on ARM now. Remove the forced compilation errors.
todo: check if UnwindContext::get_reg needs tweaking, but all mc tests pass

further reduce a MC test that's still too long

pending implementation of new algorithms (see fixme), avoid using _lr as replacement in these cases.
_lr is not valid for some sizes, and may default to calling _ompi again, which causes an infinite loop.
todo: find theses cases and eliminate them

Reduce the size of 2 UMPIRE tests that now timeout

UMPIRE will soon be grand replaced by MBI anyway.

deprecate Engine::shutdown()

Implement MutexImpl::lock_async

selected collectives changed for these tests -> timing as well

Update OMPI selector.
It was last updated from version 3.1.2, which was released in 2018, and the selection logic was modified since.
Few algorithms will be added soon to match better.

Disable tests failing when debug logs are disabled with enable_debug=OFF.

doc: add a link from Mailbox::get_init to Comm::set_dst_data

Rename mc::Checker to mc::Exploration as it defines an exploration algo

Rename SynchroRawImpl to SynchroImpl

They will soon be made visible in S4U when Mutex::lock_async() and
friends gets implemented. In turn, lock_async() is good for two reasons:
symmetry of lock() with other activities; efficiency of MC reduction
technics (see the thesis of The Anh for details).

3.31 is expected in 2022, not last year

Cosmetics in the Release notes + Document recent changes on MC

Sonar fixes (const, variable shadowing)

remove old wait any simcall

That went ways too far

Move another function of mc::api, to Transition

Kill two more unused functions in mc::api

MC: move a check_deadlock from ModelChecker to Session, and kill cruft in mc::api

kill ModelChecker::simcall_is_visible()

no need for the checker to check whether a simcall is visible:
invisible simcalls are handled in the AppSide and never show up on the
cheker side.

Kill Simcall::COMM_WAIT

Empty a bit mc::api namespace

Kill Simcall::COMM_RECV, COMM_IRECV, COMM_SEND and COMM_ISEND

Explicit casts for Sonar.

Apparently these asserts are not failing anymore. Uncomment.

Fix a MC test that seem to be tested on freebsd only. Not sure

MC: prefer a memleak to a segfault

MC: the state does not need to have the simcall anymore

CommDet: Fix memory corruption, and plug some memleaks

Passing local variables by address to lambda's closure does not seem
like a good idea.

Big big thanks to @agiersch for debugging this out.

(some memleaks remain TBD)

MC: simplification knowing that every visible transitions have an observer

MC does not need a mc_value_ in the simcall anymore

Split the Comm observers to their own files

Split TransitionAny and TransitionRandom to their own files

Revalidate all SafetyChecker tesh now that the output changed

Make CommDet a plugin on top of Safety

Further simplifications in CommDet

CommDet: detached send should be handled. But how?

CommDet: Enforce deterministic pattern even during backtrack, to simplify the code

CommDet: tiny simplification

Add the MPI tag to the Send/Recv Transitions

Try to fix the MC build on 32 bits

Document the fact that MC big bang occured

MC: no need to read the remote request directly

CommDet: reimplement on top of transitions. Don't mess with requests anymore

The observer->set_comm() is done during the simcall execution on the
appside, but the transition is serialized before this simcall
execution. I need to fiddle the Checker <-> AppSide protocol, again.

Have the application execute its transition before returning SIMCALL_EXECUTE_ANSWER

This makes the RPC protocol somewhat more complex, but it's mandatory
to get the updated observer.

This is useful in particular to Isend/Irecv observers that have a
set_comm() field that cannot be set before executing the simcall.
CommDet need that field anyway, so let's change the protocol that way.

Add getters to the TransitionComm* and TransitionAny*

sonar fixes

- use uintptr_t instead of void* on the Checker side.
  They cannot be dereferenced anyway.
- various small things (const, remove empty statements)

Fix sonar issues in ns3 examples.

Fix sonar issues in ns3 bindings.

Try again to enable ns3 for coverage and sonar [ci-skip].

[experimental] Replace long list of excluded libs with a much shorter whitelist.

For now, exclude any lib which is not libsimgrid.

Deprecate sg_host_dump.

It's unused since the removal of the simdag examples.

Fix xbt_log_appender when there is no percent in template.

Give the comm to {Send,Recv}Transition, as CommDet needs it

CommDet: preparatory cosmetics

inline a few functions and move some small things around.

CommDet: inline a function (+cosmetics)

Pylint docs/source/tuto_s4u/*.py.

Pylint teshsuite/*.py.

Pylint examples/*.py.

Pylint docs/find-missing.py, src/simix/simcalls.py.

Pylint tesh.py.

mist. (fix gcc MC builds)

Further isolate CommDet in its own file

CommDet shall become an extension of the SafetyChecker

make mc::State extendable so that CommDet does not polute it in any case

Use type 'bool' for boolean variables.

Add basic check for failures in deserialization.

Use bounds checking method array::at().

Blank lines (codefactor.io).

Use C++ std::array (sonar).

One less implicit conversion (sonar).

Don't mix public and private data members (sonar).

We want to serialize the pointer, not the pointee!

Ignore local variables without type in snapshot.

Makes test 's4u-mc-bugged1-liveness' succeed when built with gcc.

Use '--log=mc_snapshot.thres:verbose' to activate the debug message.
AFAICS, the affected variable is parameter 'code' in simcall_blocking.

Note that I would have preferred to correct the DWARF loading code, but
I couldn't figure out what was missing.

Kill duplicate function + typos.

Reduce code dupplication to please sonar

Make logger mc_compare a subcategory of mc.

Revalidate random-bug-nocrash.tesh.

Revalidate the tesh output of that test whose reduction is now less efficient for some reason

Implement WaitAnyTransition

better name

Sonar fixes

- Pass the constructor parameters to the ancestor (!)
- Make some stuff const
- don't overuse initializer list of constructors for stuff that can be
  initialized in the class
- Kill dead code
- 'auto' instead of redundent type
- true/false instead of 1/0
- Also inline a useless function

Fix MC builds with gcc12 (and make the serialization more robust)

Implement TestAnyTransition

Simplify the serialization protocol to implement TestAny & WaitAny in a moment

implement CommTestTransition

Fix MC gcc builds :(

fix build

Move dot_label() from Observer to Transition (+ some reorgs)

SimcallObservers don't need to be cloned anymore