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

Improve the final stats reported by SafetyChecker, and revalidate tesh files

Fix more sonar things

Better fix for the security warning from sonar: hide the char* buffer

Fix the security hotspots of sonar

Revalidate the tesh of some working MC tests

Revalidate the tesh of the mc-bugged1 test, which output changed but is working

Fix the depends of iSend/iRecv vs. WaitComm to fix the bugged2 example

CommWaitTransition mailbox is now valid

Implement the RandomTransition

Remove the hostnames from the CommDet patterns: MC does not have this info anymore

MC: one simplification step

Make sure that the last stack element is set when an assertion failure occures

No need to save the observers on the App side now that they are serialized over

Inline another stupid function

Objectification of mc::RecordTrace

Stop copying transitions around since that would shorten the virtual methods

Inline another useless function in MC and a define symbol

Start moving classes into the mc/api directory

Inline a function of mc::api

fix MC despite clang-format sorting the headers alphabetically while I would prefer not to

Fix builds with/without MC and with/without clang (hopefully)

Prepare to debug the depends

MC does not need the exact value of the timeout, only where a timeout was specified

don't use char* for pointers that shall be serialized with >>

Pass the depends() from the observer to the mc::Transition for CommWait, Send and Recv

Big bang in MC: app's observers are serialized, to become transitions in checker

Instead of interacting with the observers over the network, we now
transfer over the wire (a simplified copy of) the observer to the
checker.

This was necessary because the lifetime of the Observer (or of its
components) was sometimes too short: it happened that the Actor
refered to by the Observer was not existing anymore at the end of the
simulation when the depend relation was evaluated. Or something like
that, I'm not sure.

Another argument for this change was that UDPOR reduction sometimes
need to evaluate the dependency between transitions that are not in
the same history (in the same run of the application), so we really
need to carry the transition over to let them live in the checker.

Note that we are not copying every information of the observer over,
only the ones that are relevant to the model-checker.

Finally, this change is still ongoing:
 - not all observers are serialized over the wire yet
 - the depends() are not implemented in the Transition yet
 - the network protocol is utterly inefficient, and we probably need
   to move to FlatBuffer or something like that.
 - a lot of dead code remains

Sorry for the mess, it's progressing rather slowly...

[pvs] Try to fix exclusions for parserPromela.tab.cacc.

[pvs] Don't let members uninitialized.

Another pointer-to-const.

pointer2const4sonar

Forward all the parameters to the observer.

Fix memory leak with ns3 routing tables.

Leak--.

Avoid shadowed declarations.

Kill useless call to get_init().

Update .mailmap [ci-skip].

Reduce scope for variables.

simplify calls to CommImpl::isend and CommImpl::irecv

[sonar] constify

Fast path: don't check the dependency between null observers: it's dependent

Unify the way we count expended states between checkers

Define and use a Transition::to_cstring()

Move Transition::execute() to State::execute_next()

Make State::transition_ private

Move the selection of the next transition to execute to mc::State

Make Liveness and CommDet more similar to Safety

MC: inline a function

Automatize the computation of executed_transitions_

Move request_execute and request_to_string from api::get() to Transition

Kill a now unused parameter

MC: Trade less use of executed_req for more network messages

We go through the network to find the string and dot representations
of transitions even when there is no observer

MC: simplification: this function shall return a boolean

Its return value was already set to state as a side effect anyway

Let's use bool for booleans

MC: Inline and simplify a function

MC: kill an unused function

Fix error 404 for grey.png with recent jenkins [ci-skip].

enforce simcall order as before to check dependencies (Isend, Irecv, Wait)

fix isend/irecv to string

test and testany are non blocking simcalls

kill unused function

nardin clang (fix clang MC builds)