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::restore_initial_state() in replay()
[simgrid.git] / src /
2020-12-11 Ehsan Azimimcapi::restore_initial_state() in replay() tree | commitdiff
2020-12-11 Ehsan Azimimcapi::simcall_get_issuer() in replay() tree | commitdiff
2020-12-11 Ehsan Azimimcapi::restore_state() in replay() tree | commitdiff
2020-12-11 Ehsan Azimimc_api::get().get_actors_size() called in VisitedPair() tree | commitdiff
2020-12-11 Ehsan Azimimcapi::get().get_remote_heap_bytes() called in VisitedP... tree | commitdiff
2020-12-11 Ehsan AzimiMerge with simgrid/master tree | commitdiff
2020-12-10 Arnaud GierschKill dead code: tracing_category is managed by AnyActivity. tree | commitdiff
2020-12-10 Arnaud GierschMore conversions int -> aid_t. tree | commitdiff
2020-12-09 Arnaud GierschUse dedicated function to get config value. tree | commitdiff
2020-12-09 Arnaud GierschFix type for parameter 'issuer'. tree | commitdiff
2020-12-09 Arnaud GierschConst pointer. tree | commitdiff
2020-12-08 Arnaud GierschRemove old deprecated aliases for runtime options. tree | commitdiff
2020-12-08 Arnaud GierschRename runtime option 'tracing/msg/process' to 'tracing... tree | commitdiff
2020-12-08 Arnaud GierschFire Comm::on_completion in any case. tree | commitdiff
2020-12-08 Ehsan Azimimc_api::get_automaton_transition_dst() defined and... tree | commitdiff
2020-12-08 Ehsan Azimimc_api::get_automaton_transition_label() defined and... tree | commitdiff
2020-12-08 Ehsan Azimimc_api::get_dynar_length() defined and called in run() tree | commitdiff
2020-12-08 Ehsan Azimimcapi::log_state() in run() tree | commitdiff
2020-12-08 Ehsan Azimimcapi::mc_wait_for_requests() in run() tree | commitdiff
2020-12-08 Ehsan Azimimcapi::handle_simcall() in run() tree | commitdiff
2020-12-08 Ehsan Azimimcapi::mc_inc_executed_trans() in run() tree | commitdiff
2020-12-08 Ehsan Azimirequest_to_string() implementation in mc_api class tree | commitdiff
2020-12-08 Ehsan AzimiPull from simgrid/master and a subsequent merge with... tree | commitdiff
2020-12-08 Ehsan Azimirequest_get_dot_output() implementation in mc_api class tree | commitdiff
2020-12-08 Ehsan Azimimcapi::request_get_dot_output() called in run() tree | commitdiff
2020-12-08 Ehsan Azimimcapi::snapshot_equal() in insert_visited_pair() tree | commitdiff
2020-12-08 Ehsan Azimimcapi::automaton_state_compare() in insert_visited_pair() tree | commitdiff
2020-12-08 Ehsan Azimimcapi::snapshot_equal() called in insert_acceptance_pair() tree | commitdiff
2020-12-08 Ehsan Azimimc_api::automaton_state_compare() defined. It's called... tree | commitdiff
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
next
Clone of SimGrid repository with local patches