Merge branch 'Adrien.Gougeon/simgrid-master'

Update MANIFEST.in.

Remove unused static functions.

Prefer range-based for loop.

Drop unused parameter.

Typo in function name.

Redundant blank line.

Update ChangeLog

Merge pull request #371 from eazimi/master

In the LivenessChecker

Cleanup!

mc_api::set_checker() defined and called in Checker()

create_checker without Session argument

createCommunicationDeterminismChecker without Session argument

constructor without Session argument

createSafetyChecker without Session argument

constructor without Session argument

createLivenessChecker without Session argument

constructor without Session argument

Session instance removed from Checker class

get_session() deleted

mcapi::mc_inc_executed_trans() in replay()

mcapi::execute() in replay()

mcapi::restore_initial_state() in replay()

mcapi::simcall_get_issuer() in replay()

mcapi::restore_state() in replay()

mc_api::get().get_actors_size() called in VisitedPair()

mcapi::get().get_remote_heap_bytes() called in VisitedPair()

Merge with simgrid/master

Try to fix download links in doc.

Fix file names for examples in doc.

Add #include <simgrid/config.h>.

Remove mostly empty files.

Don't define (nor use) any MSG symbol when MSG is not built in.

Move bits of documentation for recently converted tracing examples.

[jenkins] Temporary disable LTO on CentOS/ld 2.30-85.el8.

A bit of cleanup in .gitignore.

Convert deprecated/msg/trace-process-migration to s4u/trace-process-migration.

Kill dead code: tracing_category is managed by AnyActivity.

More conversions int -> aid_t.

Use dedicated function to get config value.

Fix type for parameter 'issuer'.

Const pointer.

Remove old deprecated aliases for runtime options.

Add a 'DEPRECATED' comment for the more recent ones.

Rename runtime option 'tracing/msg/process' to 'tracing/actor'.

Fix log category for example.

Fire Comm::on_completion in any case.

mc_api::get_automaton_transition_dst() defined and called in run()

mc_api::get_automaton_transition_label() defined and called in run()

mc_api::get_dynar_length() defined and called in run()

mcapi::log_state() in run()

mcapi::mc_wait_for_requests() in run()

mcapi::handle_simcall() in run()

mcapi::mc_inc_executed_trans() in run()

nullptr one more time.

request_to_string() implementation in mc_api class

Pull from simgrid/master and a subsequent merge with origin/master

request_get_dot_output() implementation in mc_api class

mcapi::request_get_dot_output() called in run()

Convert deprecated/msg/trace-masterworker to s4u/trace-masterworkers.

mcapi::snapshot_equal() in insert_visited_pair()

mcapi::automaton_state_compare() in insert_visited_pair()

mcapi::snapshot_equal() called in insert_acceptance_pair()

mc_api::automaton_state_compare() defined. It's called in insert_acceptance_pair()

mcapi::compare_pair() in insert_acceptance_pair()

mcapi::compare_pair() in addVisitedState()

mc_api::compare_pair() defined, it's called in insert_visited_pair()

A Pull from simgrid/master and a subsequent merge

Spacing cosmetics.

Fix misleading cmake message.

"Example mc-bugged1-liveness disabled, thus not compiled." while it's not true.

Reduce scope for variables.

Useless code.

Fix type.

Update MANIFEST.in.

Convert deprecated/msg/trace-host-user-variables to s4u/trace-host-user-variables.

Convert deprecated/msg/trace-link-user-variables to s4u/trace-link-user-variables.

Convert deprecated/msg/trace-host-user-variables to s4u/trace-host-user-variables.

Convert deprecated/msg/trace-categories to s4u/trace-categories.

Chdir into example directory, and set srcdir.

mc_api::set_property_automaton(), it is called in run()

[sonar] Refactor to reduce nested blocks.

[sonar] s/NULL/nullptr.

pull from simgrid/master and a subsequent merge with origin/master

Change timeout value to avoid a NetworkFailureException.

We don't want ctest to report a test failure.

CodeFactor nags!

mc_api::compare_automaton_exp_lable() defined. It's called in evaluate_label()

mc_api::get_automaton_state() defined. It is called in LivenessChecker::run()

code arrangement

mcapi.actor_is_enabled() is called in LivenessChecker::create_pair()

mcapi.get_actors() is called in LivenessChecker::create_pair()

Pull simgrid/master and a subsequent merge

Please cppcheck.

Use type 'bool' for boolean.

Drop xbt_str_split().

[sonar] Reduce number of nested code blocks.

Best viewed with 'git show -b'

Increase coverage.

Drop unused smpi/plugins/load_balancer.

There's no example, and it seems that it's not used since nearly 2 years.

Fix comment.

mc_api::automaton_propositional_symbol_evaluate() is used in LivenessChecker::get_proposition_values()

mc_api::s_initialize() renamed to mc_api::session_initialize()

call to mcapi.s_initialize()