Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update copyright lines.
[simgrid.git] / src / mc / checker /
2021-01-12 Arnaud GierschUpdate copyright lines. tree | commitdiff
2021-01-11 Ehsan AzimiMerge with framagit/master tree | commitdiff
2021-01-04 Ehsan AzimicreateUdporChecker() defined tree | commitdiff
2021-01-04 Ehsan AzimiUdporChecker class introduced tree | commitdiff
2020-12-15 Augustin DegommeMerge branch 'Adrien.Gougeon/simgrid-master' tree | commitdiff
2020-12-15 Arnaud GierschPrefer range-based for loop. tree | commitdiff
2020-12-15 Arnaud GierschDrop unused parameter. tree | commitdiff
2020-12-15 Arnaud GierschTypo in function name. tree | commitdiff
2020-12-15 Arnaud GierschRedundant blank line. tree | commitdiff
2020-12-11 Martin QuinsonMerge pull request #371 from eazimi/master tree | commitdiff
2020-12-11 Ehsan AzimiCleanup! tree | commitdiff
2020-12-11 Ehsan Azimimc_api::set_checker() defined and called in Checker() tree | commitdiff
2020-12-11 Ehsan Azimicreate_checker without Session argument tree | commitdiff
2020-12-11 Ehsan AzimicreateCommunicationDeterminismChecker without Session... tree | commitdiff
2020-12-11 Ehsan Azimiconstructor without Session argument tree | commitdiff
2020-12-11 Ehsan AzimicreateSafetyChecker without Session argument tree | commitdiff
2020-12-11 Ehsan Azimiconstructor without Session argument tree | commitdiff
2020-12-11 Ehsan AzimicreateLivenessChecker without Session argument tree | commitdiff
2020-12-11 Ehsan Azimiconstructor without Session argument tree | commitdiff
2020-12-11 Ehsan AzimiSession instance removed from Checker class tree | commitdiff
2020-12-11 Ehsan Azimiget_session() deleted tree | commitdiff
2020-12-11 Ehsan Azimimcapi::mc_inc_executed_trans() in replay() tree | commitdiff
2020-12-11 Ehsan Azimimcapi::execute() in replay() tree | commitdiff
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 GierschMore conversions int -> aid_t. tree | commitdiff
2020-12-09 Arnaud GierschFix type for parameter 'issuer'. tree | commitdiff
2020-12-09 Arnaud GierschConst pointer. 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 AzimiPull from simgrid/master and a subsequent merge with... 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 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 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 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 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 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 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 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::get_pattern_comm_addr() is renamed to mc_api... 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-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 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-25 Arnaud Giersch[pvs] Expression 'req' is always true. 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
next
Clone of SimGrid repository with local patches