Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
assignment used
[simgrid.git] / src / mc / checker /
2021-01-27 eazimiRemotePtr in get_dst_actor() tree | commitdiff
2021-01-27 eazimiRemotePtr in get_src_actor() tree | commitdiff
2021-01-27 eazimiRemotePtr in PatternCommunication class tree | commitdiff
2021-01-27 eazimino need to comm_addr_equal() tree | commitdiff
2021-01-27 eazimiRemotePtr in get_comm_waitany_raw_addr() tree | commitdiff
2021-01-27 eazimiRemotePtr in get_comm_wait_raw_addr() tree | commitdiff
2021-01-27 eazimiRemotePtr in get_pattern_comm_dst_proc() tree | commitdiff
2021-01-27 eazimiRemotePtr in get_pattern_comm_src_proc() tree | commitdiff
2021-01-27 eazimiRemotePtr in complete_comm_pattern() tree | commitdiff
2021-01-27 eazimiRemotePtr in update_comm_pattern() tree | commitdiff
2021-01-27 eazimiRemotePtr as the input parameter type in get_pattern_co... tree | commitdiff
2021-01-27 eazimiRemotePtr as the input parameter type in get_pattern_co... tree | commitdiff
2021-01-27 eazimidefusing tree | commitdiff
2021-01-26 Martin QuinsonThis was not meant to be commited, sorry tree | commitdiff
2021-01-26 Martin Quinsonlogs: Allow %a instead of %P to display the actor name tree | commitdiff
2021-01-25 eazimifilenames changed tree | commitdiff
2021-01-25 eazimimc_api renamed to Api tree | commitdiff
2021-01-25 eazimisimcall_check_dependency() defined and implemented tree | commitdiff
2021-01-12 eazimimerge with framagit/master tree | commitdiff
2021-01-12 eazimiMerge with framagit/master tree | commitdiff
2021-01-12 Arnaud GierschKill redundand blank lines. tree | commitdiff
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
next
Clone of SimGrid repository with local patches