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

call to mcapi.s_initialize()

mc_api::automaton_load() defined

Exclude examples/smpi/mc from coverage analysis.

Dry run MC examples for coverage.

Allow to set a deadline for test.

Unused argument.

Revert "Silly workaround for coverage build with gcc-10."

This reverts commit d345b5dad90a1ec9829011b9188185aaf4d3240a.

The problem with gcc was likely fixed with PR fortran/95847
(see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95847)

Update .mailmap.

Attribute 'const'.

Attribute 'noreturn'.

Use operator= to copy std::vector.

MC_smx_get_maxpid returns an unsigned long.

Fix build MC+NO_SMPI.

[pvs] Don't let field uninitialized.

Call the good function.

Caught by PVS-studio.

Merge remote-tracking branch 'github/master'

Merge pull request #369 from eazimi/master

Further work on the Facade API of Mc SimGrid.

static function

mcapi::get().request_to_string() called in LivenessChecker::replay() and LivenessChecker::run()

LivenessChecker::get_textual_trace() calls a facade api

mc_api::mc_dump_record_path() renamed to mc_api::dump_record_path()

LivenessChecker::show_acceptance_cycle() call facade APIs

LivenessChecker::log_state() calls a facade api

copy_incomplete_comm_pattern() and copy_index_comm_pattern() moved from mc_api to mc_state class

cleanup!

MC_restore_communications_pattern() and MC_patterns_copy() moved to CommunicationDeterminismChecker.cpp,
mc_comm_pattern.cpp dissolved

CommunicationDeterminismChecker class doesn't use RemotePtr, it passes paramaters
with CommImpl* type to APIs in mc_api (fasade layer). The mc_api calls RemotePtr and does
the required conversion.

mc_api::comm_addr_equal() is used in CommunicationDeterminismChecker::complete_comm_pattern()

handle_comm_pattern() defined in CommunicationDeterminismChecker class,
mc_api::get_comm_wait_raw_addr() and mc_api::get_comm_waitany_raw_addr()
are used in handle_comm_pattern()

mc_api::comm_addr_equal() defined

mc_api::get_comm_waitany_raw_addr() defined

mc_api::get_comm_wait_raw_addr() defined

mc_api::get_pattern_comm_addr() is renamed to mc_api::get_comm_isend_raw_addr()

MC_state_copy_incomplete_communications_pattern() implemented in mc_api

MC_state_copy_index_communications_pattern() implemented in mc_api

more cleanups

mcapi::s_restore_initial_state() renamed to mcapi::restore_initial_state()

A little bit clean up, mc_api::s_log_state() renamed to mc_api::log_state()

mcapi::get().get_actors() is called in CommunicationDeterminismChecker::real_run()

mc_api::restore_state() is defined, it is used in SafetyChecker::restore_state() and CommunicationDeterminismChecker::restoreState()

mc_api::get_actors_size() defined and it is used in VisitedState::VisitedState()

mc_api (facade layer) is merged with mster branch in simgrid project

Fix comment.

Introduce mc::mc_api (pull request 1 -- #349)

* mc_api class introduced, SafetyChecher's constructor and main() in simgrid_mc.cpp call mc_api's functions

* SafetyChecker::restore_state() calls mc_api functions

* SafetyChecker::backtrack() calls mc_api functions

* SafetyChecker::log_state() calls  APIs of mc_api

* SafetyChecker::get_textual_trace() uses mc_api

* SafetyChecker::check_non_termination() uses mc_api

* SafetyChecker::run() uses mc_api

* mc_assert() deleted

* get_maxpid() and take_snapshot() in mc_api

* copy_incomplete_comm_pattern() and copy_index_comm_pattern() in mc_api

* mc_api::mc_state_choose_request() updated

* In VisitedState class, get_remote_heap_bytes() from mc_api is called

* prepare() and run() call APIs of mc_api

* CommunicationDeterminismChecker::real_run() uses APIs of mc_api

* CommunicationDeterminismChecker::restoreState() uses APIs of mc_api

* CommunicationDeterminismChecker::log_state() uses APIs of mc_api

* mc_pattern.hpp created

* get_pattern_comm_rdv() defined in mc_api and used in CommDet checker

* mc_api::get_pattern_comm_rdv()
mc_api::get_pattern_comm_addr()
mc_api::get_pattern_comm_src_proc()
mc_api::get_pattern_comm_data()
mc_api::get_actor_host_name()
The above functions are defined in mc_api and being used in comm_dete checker

* conflict with simgrid/master resolved

* unused variable removed

* call APIs from facade layer

* mc_api::get_smpi_request_tag() defined and used in comm_deter checker

* mc_api::get_pattern_comm_dst_proc() defined and used in comm_deter checker

* mc_api::check_send_request_detached() defined and used in comm_deter checker

* CommunicationDeterminismChecker::deterministic_comm_pattern() uses APIs of mc_api

* mc_api clean up

* mc_api::get_src_actor() defined,
it used in update_comm_pattern() of comm. deter. checker

* mc_api::get_dst_actor() defined,
it used in update_comm_pattern() of comm. deter. checker

* mc_api::get_actor_host_name() used by update_comm_pattern() in comm. deter. checker

* mc_api::get_pattern_comm_data() defined,
it used by update_comm_pattern() in comm. deter. checker

Co-authored-by: Ehsan Azimi <eazimi@ehsan.irisa.fr>

mc_api::get_pattern_comm_data() defined,
it used by update_comm_pattern() in comm. deter. checker

mc_api::get_actor_host_name() used by update_comm_pattern() in comm. deter. checker

mc_api::get_dst_actor() defined,
it used in update_comm_pattern() of comm. deter. checker

mc_api::get_src_actor() defined,
it used in update_comm_pattern() of comm. deter. checker

mc_api clean up

CommunicationDeterminismChecker::deterministic_comm_pattern() uses APIs of mc_api

Merge branch 'master' of github.com:simgrid/simgrid into dev_12

Fix return type for get_maxpid().

mc_api::check_send_request_detached() defined and used in comm_deter checker

mc_api::get_pattern_comm_dst_proc() defined and used in comm_deter checker

Fix comments.

mc_api::get_smpi_request_tag() defined and used in comm_deter checker

Assert that *request != MPI_REQUEST_NULL, and remove useless tests.

Caught by PVS-studio.

Declare function 'const'.

Finish replacing calloc with xbt_new0 in example.

Merge branch 'master' of github.com:simgrid/simgrid into dev_11

Unnecessary semicolon (codefactor).

[pvs] Simplify expression.

[pvs] The conditional expressions of the 'if' statements situated alongside each other are identical.

Dead code: xbt_malloc won't fail.

[pvs] Two or more case-branches perform the same actions.

[pvs] Don't let field uninitialized.

Initialize variable.

Useless, but please PVS-studio.

Use a local variable, and hope to fix PVS-studio warning.

E.g., at smpi_pmpi_request.cpp:50
V501 There are identical sub-expressions to the left and to the right of the '!=' operator: ((MPI_SUCCESS)) != MPI_SUCCESS

Disable some useless warnings for PVS-studio.

[pvs] Possible overflow. Cast operands of the '1 << type' operator to the 'size_t' type, not the result.

Speak of mattermost as a way to reach the community

call APIs from facade layer

unused variable removed

Merge branch 'master' of github.com:simgrid/simgrid into dev_11

Fix use-after-free.

Set default values.

Reduce scope for variables.

Use xbt_new0 (calloc may fail).

Cosmetics.

Don't set variable twice.

Don't repeat obvious default values.

Correctly handle lowercase and default values for route/symmetrical.

Merge with simgrid/master
Conflicts resolved

conflict with simgrid/master resolved

Merge branch 'master' of github.com:simgrid/simgrid into dev_11

std::array...

[pvs] A part of conditional expression is always false: parameters.empty().

[pvs] A part of conditional expression is always false: simcall == nullptr.

[pvs] Expression 'req' is always true.

[pvs] Two or more case-branches perform the same actions.

[pvs] The 'tp' pointer was utilized before it was verified against nullptr.

[pvs] The 'gw_src' pointer was utilized before it was verified against nullptr.

[pvs] The 'status' pointer was utilized before it was verified against nullptr.

[pvs] The 'mc_model_checker' pointer was utilized before it was verified against nullptr.

Enum class for MC call types, and MC comm pattern differences.

Enum class for MC call types, and MC comm pattern differences.

Enum class for MC call types, and MC comm pattern differences.

projet_description: lookup in ModelChecker build too (e.g. for Java version).

Merge branch 'master' of github.com:simgrid/simgrid into dev_10