Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
simgrid.git
2020-12-08 Ehsan Azimimcapi::log_state() in run() commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimimcapi::mc_wait_for_requests() in run() commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimimcapi::handle_simcall() in run() commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimimcapi::mc_inc_executed_trans() in run() commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimirequest_to_string() implementation in mc_api class commit | commitdiff | tree | snapshot
2020-12-08 Ehsan AzimiPull from simgrid/master and a subsequent merge with... commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimirequest_get_dot_output() implementation in mc_api class commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimimcapi::request_get_dot_output() called in run() commit | commitdiff | tree | snapshot
2020-12-08 Arnaud GierschConvert deprecated/msg/trace-masterworker to s4u/trace... commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimimcapi::snapshot_equal() in insert_visited_pair() commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimimcapi::automaton_state_compare() in insert_visited_pair() commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimimcapi::snapshot_equal() called in insert_acceptance_pair() commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimimc_api::automaton_state_compare() defined. It's called... commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimimcapi::compare_pair() in insert_acceptance_pair() commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimimcapi::compare_pair() in addVisitedState() commit | commitdiff | tree | snapshot
2020-12-08 Ehsan Azimimc_api::compare_pair() defined, it's called in insert_v... commit | commitdiff | tree | snapshot
2020-12-08 Ehsan AzimiA Pull from simgrid/master and a subsequent merge commit | commitdiff | tree | snapshot
2020-12-07 Arnaud GierschSpacing cosmetics. commit | commitdiff | tree | snapshot
2020-12-07 Arnaud GierschFix misleading cmake message. commit | commitdiff | tree | snapshot
2020-12-07 Arnaud GierschReduce scope for variables. commit | commitdiff | tree | snapshot
2020-12-07 Arnaud GierschUseless code. commit | commitdiff | tree | snapshot
2020-12-07 Arnaud GierschFix type. commit | commitdiff | tree | snapshot
2020-12-07 Arnaud GierschUpdate MANIFEST.in. commit | commitdiff | tree | snapshot
2020-12-07 Arnaud GierschConvert deprecated/msg/trace-host-user-variables to... commit | commitdiff | tree | snapshot
2020-12-07 Arnaud GierschConvert deprecated/msg/trace-link-user-variables to... commit | commitdiff | tree | snapshot
2020-12-07 Arnaud GierschConvert deprecated/msg/trace-host-user-variables to... commit | commitdiff | tree | snapshot
2020-12-07 Arnaud GierschConvert deprecated/msg/trace-categories to s4u/trace... commit | commitdiff | tree | snapshot
2020-12-07 Arnaud GierschChdir into example directory, and set srcdir. commit | commitdiff | tree | snapshot
2020-12-07 Ehsan Azimimc_api::set_property_automaton(), it is called in run() commit | commitdiff | tree | snapshot
2020-12-06 Arnaud Giersch[sonar] Refactor to reduce nested blocks. commit | commitdiff | tree | snapshot
2020-12-05 Arnaud Giersch[sonar] s/NULL/nullptr. commit | commitdiff | tree | snapshot
2020-12-04 Ehsan Azimipull from simgrid/master and a subsequent merge with... commit | commitdiff | tree | snapshot
2020-12-04 Arnaud GierschChange timeout value to avoid a NetworkFailureException. commit | commitdiff | tree | snapshot
2020-12-04 Ehsan AzimiCodeFactor nags! commit | commitdiff | tree | snapshot
2020-12-04 Ehsan Azimimc_api::compare_automaton_exp_lable() defined. It's... commit | commitdiff | tree | snapshot
2020-12-04 Ehsan Azimimc_api::get_automaton_state() defined. It is called... commit | commitdiff | tree | snapshot
2020-12-04 Ehsan Azimicode arrangement commit | commitdiff | tree | snapshot
2020-12-04 Ehsan Azimimcapi.actor_is_enabled() is called in LivenessChecker... commit | commitdiff | tree | snapshot
2020-12-04 Ehsan Azimimcapi.get_actors() is called in LivenessChecker::create... commit | commitdiff | tree | snapshot
2020-12-04 Ehsan AzimiPull simgrid/master and a subsequent merge commit | commitdiff | tree | snapshot
2020-12-04 Arnaud GierschPlease cppcheck. commit | commitdiff | tree | snapshot
2020-12-04 Arnaud GierschUse type 'bool' for boolean. commit | commitdiff | tree | snapshot
2020-12-04 Arnaud GierschDrop xbt_str_split(). commit | commitdiff | tree | snapshot
2020-12-04 Arnaud Giersch[sonar] Reduce number of nested code blocks. commit | commitdiff | tree | snapshot
2020-12-04 Arnaud GierschIncrease coverage. commit | commitdiff | tree | snapshot
2020-12-04 Arnaud GierschDrop unused smpi/plugins/load_balancer. commit | commitdiff | tree | snapshot
2020-12-04 Arnaud GierschFix comment. commit | commitdiff | tree | snapshot
2020-12-04 Ehsan Azimimc_api::automaton_propositional_symbol_evaluate() is... commit | commitdiff | tree | snapshot
2020-12-04 Ehsan Azimimc_api::s_initialize() renamed to mc_api::session_initi... commit | commitdiff | tree | snapshot
2020-12-04 Ehsan Azimicall to mcapi.s_initialize() commit | commitdiff | tree | snapshot
2020-12-04 Ehsan Azimimc_api::automaton_load() defined commit | commitdiff | tree | snapshot
2020-12-04 Arnaud GierschFix comment : 2nd arg was never used. commit | commitdiff | tree | snapshot
2020-12-04 Arnaud GierschAdd more tests for coverage. commit | commitdiff | tree | snapshot
2020-12-04 Arnaud GierschCosmetics (uppercase). commit | commitdiff | tree | snapshot
2020-12-04 Arnaud GierschChange parameter to increase coverage. commit | commitdiff | tree | snapshot
2020-12-03 Arnaud GierschExclude examples/smpi/mc from coverage analysis. commit | commitdiff | tree | snapshot
2020-12-03 Arnaud GierschDry run MC examples for coverage. commit | commitdiff | tree | snapshot
2020-12-03 Arnaud GierschAllow to set a deadline for test. commit | commitdiff | tree | snapshot
2020-12-03 Arnaud GierschUnused argument. commit | commitdiff | tree | snapshot
2020-12-03 Arnaud GierschRevert "Silly workaround for coverage build with gcc... commit | commitdiff | tree | snapshot
2020-12-01 Arnaud GierschUpdate .mailmap. commit | commitdiff | tree | snapshot
2020-12-01 Arnaud GierschAttribute 'const'. commit | commitdiff | tree | snapshot
2020-12-01 Arnaud GierschAttribute 'noreturn'. commit | commitdiff | tree | snapshot
2020-12-01 Arnaud GierschUse operator= to copy std::vector. commit | commitdiff | tree | snapshot
2020-12-01 Arnaud GierschMC_smx_get_maxpid returns an unsigned long. commit | commitdiff | tree | snapshot
2020-12-01 Arnaud GierschFix build MC+NO_SMPI. commit | commitdiff | tree | snapshot
2020-12-01 Arnaud Giersch[pvs] Don't let field uninitialized. commit | commitdiff | tree | snapshot
2020-12-01 Arnaud GierschCall the good function. commit | commitdiff | tree | snapshot
2020-12-01 Arnaud GierschMerge remote-tracking branch 'github/master' commit | commitdiff | tree | snapshot
2020-12-01 Martin QuinsonMerge pull request #369 from eazimi/master commit | commitdiff | tree | snapshot
2020-12-01 Ehsan Azimistatic function commit | commitdiff | tree | snapshot
2020-12-01 Ehsan Azimimcapi::get().request_to_string() called in LivenessChec... commit | commitdiff | tree | snapshot
2020-12-01 Ehsan AzimiLivenessChecker::get_textual_trace() calls a facade api commit | commitdiff | tree | snapshot
2020-12-01 Ehsan Azimimc_api::mc_dump_record_path() renamed to mc_api::dump_r... commit | commitdiff | tree | snapshot
2020-12-01 Ehsan AzimiLivenessChecker::show_acceptance_cycle() call facade... commit | commitdiff | tree | snapshot
2020-12-01 Ehsan AzimiLivenessChecker::log_state() calls a facade api commit | commitdiff | tree | snapshot
2020-12-01 Ehsan Azimicopy_incomplete_comm_pattern() and copy_index_comm_patt... commit | commitdiff | tree | snapshot
2020-12-01 Ehsan Azimicleanup! commit | commitdiff | tree | snapshot
2020-11-30 Ehsan AzimiMC_restore_communications_pattern() and MC_patterns_cop... commit | commitdiff | tree | snapshot
2020-11-30 Ehsan AzimiCommunicationDeterminismChecker class doesn't use Remot... commit | commitdiff | tree | snapshot
2020-11-30 Ehsan Azimimc_api::comm_addr_equal() is used in CommunicationDeter... commit | commitdiff | tree | snapshot
2020-11-30 Ehsan Azimihandle_comm_pattern() defined in CommunicationDetermini... commit | commitdiff | tree | snapshot
2020-11-30 Ehsan Azimimc_api::comm_addr_equal() defined commit | commitdiff | tree | snapshot
2020-11-30 Ehsan Azimimc_api::get_comm_waitany_raw_addr() defined commit | commitdiff | tree | snapshot
2020-11-30 Ehsan Azimimc_api::get_comm_wait_raw_addr() defined commit | commitdiff | tree | snapshot
2020-11-30 Ehsan Azimimc_api::get_pattern_comm_addr() is renamed to mc_api... commit | commitdiff | tree | snapshot
2020-11-30 Ehsan AzimiMC_state_copy_incomplete_communications_pattern() imple... commit | commitdiff | tree | snapshot
2020-11-30 Ehsan AzimiMC_state_copy_index_communications_pattern() implemente... commit | commitdiff | tree | snapshot
2020-11-30 Ehsan Azimimore cleanups commit | commitdiff | tree | snapshot
2020-11-30 Ehsan Azimimcapi::s_restore_initial_state() renamed to mcapi:... commit | commitdiff | tree | snapshot
2020-11-30 Ehsan AzimiA little bit clean up, mc_api::s_log_state() renamed... commit | commitdiff | tree | snapshot
2020-11-30 Ehsan Azimimcapi::get().get_actors() is called in CommunicationDet... commit | commitdiff | tree | snapshot
2020-11-30 Ehsan Azimimc_api::restore_state() is defined, it is used in Safet... commit | commitdiff | tree | snapshot
2020-11-30 Ehsan Azimimc_api::get_actors_size() defined and it is used in... commit | commitdiff | tree | snapshot
2020-11-30 Ehsan Azimimc_api (facade layer) is merged with mster branch in... commit | commitdiff | tree | snapshot
2020-11-29 Arnaud GierschFix comment. commit | commitdiff | tree | snapshot
2020-11-27 Ehsan AzimiIntroduce mc::mc_api (pull request 1 -- #349) commit | commitdiff | tree | snapshot
2020-11-27 Ehsan Azimimc_api::get_pattern_comm_data() defined, commit | commitdiff | tree | snapshot
2020-11-27 Ehsan Azimimc_api::get_actor_host_name() used by update_comm_patte... commit | commitdiff | tree | snapshot
2020-11-27 Ehsan Azimimc_api::get_dst_actor() defined, commit | commitdiff | tree | snapshot
next
Clone of SimGrid repository with local patches