* 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>
