add photovoltaic plugin

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

simplify the example now that host can be set to serial

Use host->set_concurrency_limit(1) in an example where it makes sense

Document a bit the MC changes

Allow to set a concurrency limit on disks and hosts

Inline Exploration::system_error.

Remove useless specialized exceptions from simgrid::mc.

Use an exception on Exploration::system_exit().

The goal is to use RAII to free the memory on exit, and get cleaner valgrind reports.

Sonar...

missing virtual destructor

fix distcheck

missing lib

clang-format

add prog_ns3 to manifest

add operation examples

several updates to plugin operation

add operation to plugin doc

add operation to manifest

fix bad type comparison

add operation plugin

Assignment operators should return non-"const" references (sonar).

Also enfore C++ "rule-of-three".

Mark functions as "const" (sonar).

Use std::string (sonar).

Misc sonar issues.

Reduce scope for variables (sonar).

Pointer and reference should be "const" if the corresponding object is not modified (sonar).

Fix bound checking in assert.

Whitespace cleanup (codefactor.io).

Use an intermediate variable to compute the sum and access c[i][j] only once.

May fix crash when built with Intel(R) oneAPI DPC++/C++ Compiler 2023.1.0 (2023.1.0.20230320)
Probably an optimization bug!

Also clean up the function signature.

Less low-level operations to manage receive buffer.

Please don't fix this error reported by clang-static [no-ci]

Define and use VALGRIND_NO_TRACE_CHILDREN for simgrid-mc tests.

There are two benefits. First, memory leaks are checked for the simgrid-mc process,
and then the tests run faster.

[ci-skip]

Add $VALGRIND_NO_LEAK_CHECK in tesh files when simgrid-mc is used.

Too many memory leaks are detected in the MCed processes.

Pass include and library directories to try_compile.

Fix usage of option --cfg=path in tesh files.

Most of them reference a non-existent directory: examples/smpi/msg/.
Remove them.

Use the option in tests from basic-parsing-test.

Make distcheck

MC: Reap all zombie childs to avoid them to accumulate

Remove the timings of another ns3 test to help older ns3 versions

Allow ns3 to be idempotent if correctly patched