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

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

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

Fix buffer overflow.

Once again, use sd::array instead of C-style arrays.

Unused field.

Save another bunch of new/delete.

A binary search can be used here too.

Replace another handmade binary search.

[sonar] Rename local parameters.

Works without pointer too.

Use std algorithms for binary search.

[sonar] Reduce number of 'break' in loop.

Kill unused field.

Don't modify loop counter inside of loop body.

For sonar, remove explicit new/delete.

Revert "Make simgrid::xbt::action_fs a std::unique_ptr."

This reverts commit cb0572c871501a8dab8e7ad5a833bb372b743d01.

It's a bit too cumbersome.

Explicit cast.

Fix ctors for smpi::Datatype.

const char* / unused declaration / cosmetic parameter rename

Use a lambda for comparator.

Cleanups in smpi::Win (use std::vector, and simplify constructor).

Make Datatype::name_ and Win::name_ a std::string.

Use std::unique_ptr with std::ifstream.

More std::vector's.

One more std::unique_ptr.

Useless dynamic allocation.

Automatic memory management with std::unique_ptr.

Make simgrid::xbt::action_fs a std::unique_ptr.

Use std::unique_ptr for Message::answer_.

Update simgrid.supp for libcgraph.

Revert "Adapt projet_description again."

This reverts commit 18b77c424fa1cc619955fbe3839a1e4b5eec2a8d.

Adapt projet_description again.

More thorough cleaning of /tmp on jenkins.

Really ignore Python 3.8 and later on appveyor.

It's ok to have only Python3_Interpreter.

Search for Python3_Development too.

adapt projet_description for new python3 detection

Use ssize_t.

[sonar] Extract assignment from sub-expression.

Got SIGBUS with std::array; give std::vector a try.