Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
CommunicationDeterminismChecker class doesn't use RemotePtr, it passes paramaters
[simgrid.git] / src / mc /
2020-11-30 Ehsan AzimiCommunicationDeterminismChecker class doesn't use Remot... tree | commitdiff
2020-11-30 Ehsan Azimimc_api::comm_addr_equal() is used in CommunicationDeter... tree | commitdiff
2020-11-30 Ehsan Azimihandle_comm_pattern() defined in CommunicationDetermini... tree | commitdiff
2020-11-30 Ehsan Azimimc_api::comm_addr_equal() defined tree | commitdiff
2020-11-30 Ehsan Azimimc_api::get_comm_waitany_raw_addr() defined tree | commitdiff
2020-11-30 Ehsan Azimimc_api::get_comm_wait_raw_addr() defined tree | commitdiff
2020-11-30 Ehsan Azimimc_api::get_pattern_comm_addr() is renamed to mc_api... tree | commitdiff
2020-11-30 Ehsan AzimiMC_state_copy_incomplete_communications_pattern() imple... tree | commitdiff
2020-11-30 Ehsan AzimiMC_state_copy_index_communications_pattern() implemente... tree | commitdiff
2020-11-30 Ehsan Azimimore cleanups tree | commitdiff
2020-11-30 Ehsan Azimimcapi::s_restore_initial_state() renamed to mcapi:... tree | commitdiff
2020-11-30 Ehsan AzimiA little bit clean up, mc_api::s_log_state() renamed... tree | commitdiff
2020-11-30 Ehsan Azimimcapi::get().get_actors() is called in CommunicationDet... tree | commitdiff
2020-11-30 Ehsan Azimimc_api::restore_state() is defined, it is used in Safet... tree | commitdiff
2020-11-30 Ehsan Azimimc_api::get_actors_size() defined and it is used in... tree | commitdiff
2020-11-27 Ehsan AzimiIntroduce mc::mc_api (pull request 1 -- #349) tree | commitdiff
2020-11-27 Ehsan Azimimc_api::get_pattern_comm_data() defined, tree | commitdiff
2020-11-27 Ehsan Azimimc_api::get_actor_host_name() used by update_comm_patte... tree | commitdiff
2020-11-27 Ehsan Azimimc_api::get_dst_actor() defined, tree | commitdiff
2020-11-27 Ehsan Azimimc_api::get_src_actor() defined, tree | commitdiff
2020-11-27 Ehsan Azimimc_api clean up tree | commitdiff
2020-11-27 Ehsan AzimiCommunicationDeterminismChecker::deterministic_comm_pat... tree | commitdiff
2020-11-27 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-27 Ehsan Azimimc_api::check_send_request_detached() defined and used... tree | commitdiff
2020-11-27 Ehsan Azimimc_api::get_pattern_comm_dst_proc() defined and used... tree | commitdiff
2020-11-27 Ehsan Azimimc_api::get_smpi_request_tag() defined and used in... tree | commitdiff
2020-11-27 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-26 Ehsan Azimicall APIs from facade layer tree | commitdiff
2020-11-26 Ehsan Azimiunused variable removed tree | commitdiff
2020-11-26 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-26 Ehsan AzimiMerge with simgrid/master tree | commitdiff
2020-11-26 Ehsan Azimiconflict with simgrid/master resolved tree | commitdiff
2020-11-26 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-26 Arnaud Gierschstd::array... tree | commitdiff
2020-11-25 Arnaud Giersch[pvs] A part of conditional expression is always false... tree | commitdiff
2020-11-25 Arnaud Giersch[pvs] Expression 'req' is always true. tree | commitdiff
2020-11-25 Arnaud Giersch[pvs] The 'mc_model_checker' pointer was utilized befor... tree | commitdiff
2020-11-25 Arnaud GierschEnum class for MC call types, and MC comm pattern diffe... tree | commitdiff
2020-11-25 Arnaud GierschEnum class for MC call types, and MC comm pattern diffe... tree | commitdiff
2020-11-25 Arnaud GierschEnum class for MC call types, and MC comm pattern diffe... tree | commitdiff
2020-11-25 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-25 Ehsan Azimimc_api::get_pattern_comm_rdv() tree | commitdiff
2020-11-25 Arnaud GierschFix buffer overflow. tree | commitdiff
2020-11-25 Arnaud GierschOnce again, use sd::array instead of C-style arrays. tree | commitdiff
2020-11-25 Arnaud GierschA binary search can be used here too. tree | commitdiff
2020-11-25 Arnaud GierschReplace another handmade binary search. tree | commitdiff
2020-11-25 Arnaud Giersch[sonar] Rename local parameters. tree | commitdiff
2020-11-24 Arnaud GierschUse std algorithms for binary search. tree | commitdiff
2020-11-24 Arnaud GierschKill unused field. tree | commitdiff
2020-11-22 Arnaud Giersch[sonar] Extract assignment from sub-expression. tree | commitdiff
2020-11-21 Arnaud GierschFix test requirement (and add missing semicolon). tree | commitdiff
2020-11-21 Arnaud GierschRemove useless new/delete (please sonar). tree | commitdiff
2020-11-21 Arnaud GierschReplace fixed-size C-style arrays with std::array. tree | commitdiff
2020-11-20 Arnaud GierschUse more std::string. tree | commitdiff
2020-11-20 Arnaud GierschMisc simplifications. tree | commitdiff
2020-11-20 Ehsan Azimiget_pattern_comm_rdv() defined in mc_api and used in... tree | commitdiff
2020-11-20 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-20 Ehsan Azimimc_pattern.hpp created tree | commitdiff
2020-11-19 Ehsan AzimiCommunicationDeterminismChecker::log_state() uses APIs... tree | commitdiff
2020-11-19 Ehsan AzimiCommunicationDeterminismChecker::restoreState() uses... tree | commitdiff
2020-11-19 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-18 Arnaud GierschUseless std::move. tree | commitdiff
2020-11-18 Arnaud GierschUse 'using-declarations' to inherit constructors. tree | commitdiff
2020-11-18 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-11-18 Ehsan AzimiCommunicationDeterminismChecker::real_run() uses APIs... tree | commitdiff
2020-11-18 Ehsan Azimiprepare() and run() call APIs of mc_api tree | commitdiff
2020-11-18 Arnaud GierschPrefer "using" to "typedef". tree | commitdiff
2020-11-18 Arnaud GierschMore const pointers. tree | commitdiff
2020-11-18 Ehsan AzimiIn VisitedState class, get_remote_heap_bytes() from... tree | commitdiff
2020-11-18 Augustin Degommeagain.. tree | commitdiff
2020-11-17 Augustin Degommeet ça continue, encore et encore... tree | commitdiff
2020-11-17 Augustin Degommeone more lib to exclude ... we should really get rid... tree | commitdiff
2020-11-17 Ehsan Azimimc_api::mc_state_choose_request() updated tree | commitdiff
2020-11-16 Ehsan Azimicopy_incomplete_comm_pattern() and copy_index_comm_patt... tree | commitdiff
2020-11-16 Ehsan Azimiget_maxpid() and take_snapshot() in mc_api tree | commitdiff
2020-11-16 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-11-11 Arnaud GierschReduce scope for variable. tree | commitdiff
2020-11-09 Augustin Degommeexclude lib for mc on freebsd tree | commitdiff
2020-10-30 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-10-29 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-10-28 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-10-27 Ehsan Azimimc_assert() deleted tree | commitdiff
2020-10-27 Ehsan AzimiSafetyChecker::run() uses mc_api tree | commitdiff
2020-10-27 Ehsan AzimiSafetyChecker::check_non_termination() uses mc_api tree | commitdiff
2020-10-27 Ehsan AzimiSafetyChecker::get_textual_trace() uses mc_api tree | commitdiff
2020-10-27 Ehsan AzimiSafetyChecker::log_state() calls APIs of mc_api tree | commitdiff
2020-10-26 Ehsan AzimiSafetyChecker::backtrack() calls mc_api functions tree | commitdiff
2020-10-26 Ehsan AzimiSafetyChecker::restore_state() calls mc_api functions tree | commitdiff
2020-10-26 Ehsan Azimimc_api class introduced, SafetyChecher's constructor... tree | commitdiff
2020-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles' tree | commitdiff
2020-10-20 Arnaud Giersch[sonar] Use template parameter. tree | commitdiff
2020-10-19 Arnaud GierschCorrect a few a/an. tree | commitdiff
2020-10-19 Arnaud GierschTypos. tree | commitdiff
2020-10-16 Arnaud GierschCosmetics. tree | commitdiff
2020-10-16 Arnaud GierschUse std::array and reduce scope for constant. tree | commitdiff
2020-10-13 Arnaud Giersch"s < 0" is always true here. tree | commitdiff
2020-10-13 Arnaud GierschRemove useless type aliases. tree | commitdiff
2020-10-08 Martin QuinsonMerge branch 'klement/simgrid-klement' into master tree | commitdiff
2020-10-06 Arnaud GierschModernize method declarations. tree | commitdiff
2020-10-06 Arnaud GierschPrefer nullptr and bool literals. tree | commitdiff
next
Clone of SimGrid repository with local patches