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)

MC: rely less on executed_req_ and more on observers

What about not testing the dependencies of transitions with themselves? bummer

MC: Kill now unused fields

Don't compute the dependencies locally in the checker, but through the observers over the network

back to normal ... keep progressing towards modern simcalls for all

MC: isend/irecv are not blocking

Also, add some debug info to the MC exploration

MC: do not segfault when the logs are activated

convert more isend/irecv locations to the new simcalls, for compatibility

oopsie

continue to mess with MC

stay with double for payload size (fix 32bit issues?

specify in the COPYING file that we are LGPL-v2.1-only

Closes: https://framagit.org/simgrid/simgrid/-/issues/101

preshot sonar (dead code; equality test between double)

remove old simcall_comm_test and simcall_comm_testany

simcall translation is now useless

Merge branch 'wifi_rate_zero' into 'master'

zero wifi rate

See merge request simgrid/simgrid!76

let SMPI use old simcalls for now

make isend and irecv observable (except for irecv in smpi_request.cpp)

draft CommI{send,recv}Observer

move the code of isend and irecv out of the handler and into CommImpl

Update references to the mailing list.

Merge branch 'stable'

add a word in the doc about deploying multiple processes per node in a single line of the hostfile

update changelog

Exclude an oversized python notebook file from the distributed archives

add missing override keywords

more progress in simcalls modernization and MC cleanup

mark some old simcalls as deprecated (test, test_any, and wait_any)

take two on prepare() for Waitany and Testany observers

zero wifi rate

better handling of ActivityImpl::wait_for with dying actors

add prepare() to some observers

activity-lifecycle: Factorize some code

Make it clear in output that the direct comms are sendto [no-ci]

this file is too deep to allow XBT_INFO, so keep with printfs

More verbose on an error experienced on aarch64-darwin [no-ci]

doc: explain how to install stuff in a docker that runs as a user

There is no timestamp in TI events, so they were never dumped during execution, only at the end.
This should save a lot of memory, at the expanse of more file accesses.

Update ChangeLog.

Reduce depth of nested 'if' statements (sonar).

Avoid const cast (sonar).

There is apparently no need for a fake argv[0].

Const reference for large parameter.

Cosmetics: whitespaces and empty statement.

Use declared namespace alias py = pybind11.

Also, use plain py::object which is a sort of smart pointer.

please clang

Start to modernize the remaining old simcalls related to comms
+ refactor wait, test, waitany, and testany at the activity level
+ use observers for all the simcalls related to these operations
+ add 2 new examples that allows to test or wait for the completion of
any kind of activities stored in a single vector
+ simplify another example thanks to that
+ implement the to_string and dot_label functions in the observers
instead of in mc::Api

This (big) commit breaks the MC has the dependency check still mixes
old and modern simcalls and is thus borken. This is a work in progress
for the greater good, and towards SG4.

fix deprecation of Engine.get_clock()

fix waitall handling in SMPI replay.
Pending requests were not stored properly since last code overhaul.
Some were not waited on, leading to potentially massive leaks and performance issue.

CMake does not want versions < 2.8.12 of itself

Kill now unused xbt_dynar_shrink().

Define macro XBT_ATTRIB_DEPRECATED_v335.

Remove deprecated features for next release (3.31).

Merge branch 'stable'

docker: push all tags

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

Start a new dev cycle for v3.31