add python bindings for operations

move handling of remote disks to platform parsing.
they should be accessible without having to load the filesystem plugin.
only the notion of mounting point really pertains to the plugin

add accessors

Specialize the Activity on_veto, on_suspend and on_resume in AnyActivity to ease the matching

Hide a bit an internal method (make it protected)

easy cleanup

Give the on_this_ variant to all VM signals

Sort the signals on the plugin page

+ also fix some documentation errors

Rename Resource::on_state_change to Resource::on_onoff for sake of clarity

Use the right version for the deprecate macro

Give the _this_ variants to the Link signals

Ignore ASan warnings about odr-violation with Activity_T::on_completion.

These are false positives IIUC.

[ci-skip]

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

Various cleanups in the Host signals

- Add a on_this_*_cb variant to the Host signals
- Rename Activity::on_{suspended,resumed} for symmetry with Actor signals
- Change kernel::activity::CpuAction::on_state_change to s4u::Host::on_exec_state_change

Remove global variables in PageStore_test too (mimic Snapshot_test).

Use C++17 features: std::scoped_lock and structured bindings.

Use the "_t" and "_v" version of type traits.

Compact namespaces.

C++17 support is now required for public headers too.

Update ChangeLog, FindSimGrid.cmake, and sonar-project.properties.

add Io operations and an example

another try to please clang

try to solve the -Wundefined-var-template thing with clang

allow operation to execute more than one function at start and end

add missing override

have a on_completion per activity type to save users some dynamic_cast-based filtering

Add instance signals for all Disk signals

Add instance signals for all Actor signals

no need to save all ns3 sink points

Rename cfg 'ns3/TcpModel' to 'ns3/UdpModel'

Test that setting ns3 TCP models actually work

cosmetics in the ChangeLog

 allow activities launched by maestro to be instrumented

throw on_send and on_receive signals when doing a host-to-host Comm
this is needed by instrumentation

allow to set tracing category in STARTING state

Explicitly capture required scope variables (sonar).

Get rid of global variables for snapshot tests.

Also fix some sonar issues.

Reduce scope for variables.

Don't shadow outer variables.

Use plain pointers instead of references to pointer.

Suprious brace (fix non-linux builds).

Define master_socket_name only once, and embed it with the request to fork.

Try harder not to fail with stale sockets after several runs.

* on linux, prefer abstract unix sockets that are automatically removed
* otherwise, remove possible stale socket before bind

The default destructor should be fine.

Disable move constructor which cannot be 'noexecept' (sonar).

Cosmetics.

add two more utility functions to the Operation plugin

Fix make distcheck

MC: Kill the now useless code State::get_recipe

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

DFS MC: Restore from system states even if we have to run some transitions out of it

This makes the model-check/checkpoint a bit more efficient by
increasing the amount of cases where we can reuse taken checkpoints.

It is still awfully slow because checkpoints are. The next step is to
implement model-check/checkpoint with forks.

Merge branch 'dag-lab' into 'master'

Add dag scheduling lab to docs

See merge request simgrid/simgrid!150

Merge branch 'changelog-operation-plugin' into 'master'

Add plugins operation and battery to changelog

See merge request simgrid/simgrid!149

Use forwarding references with std::forward (sonar).

(hope I got it right this time)

Use a std::vector as an underlying container for backtrack_points, so that maximal_subsets_iterator can have a noexcept move constructor by default.

Use a static variable for empty_set, and allow default noexcept move constructor.

add dag scheduling lab

Plug memory leak.

Use pointer-to-const for parameter (sonar).

Fix sonar bug: attribute access on a value that can be 'None'.

Misc Sonar issues.

* declare functions "const"
* use pointer-to-const or reference-to-const
* use structured bindings
* extract assignment from expression
* mark constructors "explicit"
* pass large object parameters by reference-to-const
* use default implementation constructor
* explicitly capture required variables in lambdas

mess up with operations
+ chainable setters
+ getters
+ boost instrusive pointers

Rename Link::get_usage() to Link::get_load() for consistency with Host::

add plugins operation and battery

further simplify this example

One use less of get_recipe() that will soon die

Factorize more code between DFSExplo and LivenessExplo, and UDPOR

Kill useless empty function.

Missing "override".

Simplify expression.

Fix use-after-free observed with the s4u-operation examples.

Cosmetics (sonar).

Define each identifier in a dedicated statement (sonar).

Revert "Run mc-*-liveness tests serial, and hope to pass on CI."

This reverts commit 881507dc9fbeba0c63112dd0058d9c591b67419e.

In fact, it was just the CI infrastructure that was unusually slow these days.

Whitespace cleanup (codefactor.io).

Lazily compute the recipe of a state, on need only

This will be useful when leveraging intermediate states during
backtracks. In that case, we need to compute partial recipes, up to
the advanced restaure point.

More automatic memory mgmt in MC

MC: give each state an incoming transition too

Using the parent's outgoing transition is not reliable anymore now
that we don't always explore the tree in order, but rather following
the exploration strategies.

Fix comment [no-ci]

Run mc-*-liveness tests serial, and hope to pass on CI.

Fix comment.

There is no need to declare the default constructors here.

Fix build error: exception specification of explicitly
defaulted move constructor does not match the calculated one.

Merge branch 'operation-plugin' into 'master'

Operation plugin

See merge request simgrid/simgrid!145

Merge branch 'udpor-phase7' into 'master'

Phase 7 of UDPOR Integration: Add specialized `ex(C)` computation for `Comm*` transitions

See merge request simgrid/simgrid!144

sonar fixes

- Undefined return value (that would happen on a platform without any host)
- Local variable shadowing
- Automatic memory management
- const, explicit, etc.

Let resource profiles finish their initialization by themselves and kill presolve

No need to presolve the models to finish their initialization nowadays

I think that this was a leftover of the good old C times.

Only fire on_platform_created after creating the platform, not after loading the deployment

Add a target to recompile all ns3 tests (and only them)

rename create to init. add init with name only. add setters

Make sure that we never have a 0 transition at the end of the stack

Also send the disabled transitions over: UDPOR needs it

More informative message on system error

More defensive programing style

add missing '&' causing temporary value to be modified

rename on_start/on_end functions call to on_this_start/on_this_end. add on_start_cb and on_end_cb

Trust the config system to check that only valid values are used

Disable coverage on circleci.

It seems that it is not used and it slows down the tests.

[ci-skip]

Make this example valgrind-clean

Further cosmetics in that example, adding a helper function to s4u on the way