Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
mcapi::compare_pair() in insert_acceptance_pair()
[simgrid.git] / src /
2020-12-08 Ehsan Azimimcapi::compare_pair() in insert_acceptance_pair() tree | commitdiff
2020-12-08 Ehsan Azimimcapi::compare_pair() in addVisitedState() tree | commitdiff
2020-12-08 Ehsan Azimimc_api::compare_pair() defined, it's called in insert_v... tree | commitdiff
2020-12-08 Ehsan AzimiA Pull from simgrid/master and a subsequent merge tree | commitdiff
2020-12-07 Ehsan Azimimc_api::set_property_automaton(), it is called in run() tree | commitdiff
2020-12-04 Ehsan Azimipull from simgrid/master and a subsequent merge with... tree | commitdiff
2020-12-04 Ehsan AzimiCodeFactor nags! tree | commitdiff
2020-12-04 Ehsan Azimimc_api::compare_automaton_exp_lable() defined. It's... tree | commitdiff
2020-12-04 Ehsan Azimimc_api::get_automaton_state() defined. It is called... tree | commitdiff
2020-12-04 Ehsan Azimicode arrangement tree | commitdiff
2020-12-04 Ehsan Azimimcapi.actor_is_enabled() is called in LivenessChecker... tree | commitdiff
2020-12-04 Ehsan Azimimcapi.get_actors() is called in LivenessChecker::create... tree | commitdiff
2020-12-04 Ehsan AzimiPull simgrid/master and a subsequent merge tree | commitdiff
2020-12-04 Arnaud GierschUse type 'bool' for boolean. tree | commitdiff
2020-12-04 Arnaud GierschDrop xbt_str_split(). tree | commitdiff
2020-12-04 Arnaud Giersch[sonar] Reduce number of nested code blocks. tree | commitdiff
2020-12-04 Arnaud GierschDrop unused smpi/plugins/load_balancer. tree | commitdiff
2020-12-04 Ehsan Azimimc_api::automaton_propositional_symbol_evaluate() is... tree | commitdiff
2020-12-04 Ehsan Azimimc_api::s_initialize() renamed to mc_api::session_initi... tree | commitdiff
2020-12-04 Ehsan Azimicall to mcapi.s_initialize() tree | commitdiff
2020-12-04 Ehsan Azimimc_api::automaton_load() defined tree | commitdiff
2020-12-01 Arnaud GierschAttribute 'const'. tree | commitdiff
2020-12-01 Arnaud GierschAttribute 'noreturn'. tree | commitdiff
2020-12-01 Arnaud GierschUse operator= to copy std::vector. tree | commitdiff
2020-12-01 Arnaud GierschMC_smx_get_maxpid returns an unsigned long. tree | commitdiff
2020-12-01 Arnaud GierschFix build MC+NO_SMPI. tree | commitdiff
2020-12-01 Arnaud Giersch[pvs] Don't let field uninitialized. tree | commitdiff
2020-12-01 Arnaud GierschCall the good function. tree | commitdiff
2020-12-01 Arnaud GierschMerge remote-tracking branch 'github/master' tree | commitdiff
2020-12-01 Martin QuinsonMerge pull request #369 from eazimi/master tree | commitdiff
2020-12-01 Ehsan Azimistatic function tree | commitdiff
2020-12-01 Ehsan Azimimcapi::get().request_to_string() called in LivenessChec... tree | commitdiff
2020-12-01 Ehsan AzimiLivenessChecker::get_textual_trace() calls a facade api tree | commitdiff
2020-12-01 Ehsan Azimimc_api::mc_dump_record_path() renamed to mc_api::dump_r... tree | commitdiff
2020-12-01 Ehsan AzimiLivenessChecker::show_acceptance_cycle() call facade... tree | commitdiff
2020-12-01 Ehsan AzimiLivenessChecker::log_state() calls a facade api tree | commitdiff
2020-12-01 Ehsan Azimicopy_incomplete_comm_pattern() and copy_index_comm_patt... tree | commitdiff
2020-12-01 Ehsan Azimicleanup! tree | commitdiff
2020-11-30 Ehsan AzimiMC_restore_communications_pattern() and MC_patterns_cop... tree | commitdiff
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 Arnaud GierschFix return type for get_maxpid(). 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 Arnaud GierschFix comments. tree | commitdiff
2020-11-27 Ehsan Azimimc_api::get_smpi_request_tag() defined and used in... tree | commitdiff
2020-11-27 Arnaud GierschAssert that *request != MPI_REQUEST_NULL, and remove... tree | commitdiff
2020-11-27 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-26 Arnaud GierschUnnecessary semicolon (codefactor). tree | commitdiff
2020-11-26 Arnaud Giersch[pvs] Simplify expression. tree | commitdiff
2020-11-26 Arnaud Giersch[pvs] The conditional expressions of the 'if' statement... tree | commitdiff
2020-11-26 Arnaud GierschDead code: xbt_malloc won't fail. tree | commitdiff
2020-11-26 Arnaud GierschUse a local variable, and hope to fix PVS-studio warning. tree | commitdiff
2020-11-26 Arnaud Giersch[pvs] Possible overflow. Cast operands of the '1 <... 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 Arnaud GierschFix use-after-free. tree | commitdiff
2020-11-26 Arnaud GierschSet default values. tree | commitdiff
2020-11-26 Arnaud GierschCosmetics. tree | commitdiff
2020-11-26 Arnaud GierschDon't set variable twice. tree | commitdiff
2020-11-26 Arnaud GierschDon't repeat obvious default values. tree | commitdiff
2020-11-26 Arnaud GierschCorrectly handle lowercase and default values for route... 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] 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] Two or more case-branches perform the same actions. tree | commitdiff
2020-11-25 Arnaud Giersch[pvs] The 'tp' pointer was utilized before it was verif... tree | commitdiff
2020-11-25 Arnaud Giersch[pvs] The 'gw_src' pointer was utilized before it was... tree | commitdiff
2020-11-25 Arnaud Giersch[pvs] The 'status' pointer was utilized before it was... 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
next
Clone of SimGrid repository with local patches