Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Use typed Mailbox::get<>() instead of using static_cast everywhere.
[simgrid.git] / src /
2020-12-17 Arnaud GierschUse typed Mailbox::get<>() instead of using static_cast... tree | commitdiff
2020-12-17 Arnaud GierschPrepare the deprecation of untyped Mailbox::get functions. tree | commitdiff
2020-12-16 Arnaud GierschOpen target file with O_EXCL for smpi_copy_file. tree | commitdiff
2020-12-16 Arnaud GierschAdd an assert for fopen. tree | commitdiff
2020-12-16 Arnaud GierschUse transparent comparator 'std::less<>' with associati... tree | commitdiff
2020-12-16 Arnaud GierschAvoid unnecessary copy by using a 'const' reference... tree | commitdiff
2020-12-16 Arnaud GierschPrefer using emplace or emplace_back. tree | commitdiff
2020-12-16 Arnaud GierschAvoid useless creation of temporary objects with emplac... tree | commitdiff
2020-12-16 Arnaud GierschReplace for-loop with std::any_of. tree | commitdiff
2020-12-16 Arnaud GierschDeclare function 'const'. tree | commitdiff
2020-12-16 Arnaud GierschRemove deprecated features for next release. tree | commitdiff
2020-12-15 Augustin Degommetest failure fix for #45. tree | commitdiff
2020-12-15 Augustin Degommewarning -- tree | commitdiff
2020-12-15 Augustin Degommeuse new name for wifi standard in recent NS3. tree | commitdiff
2020-12-15 Augustin DegommeMerge branch 'Adrien.Gougeon/simgrid-master' tree | commitdiff
2020-12-15 Arnaud GierschRemove unused static functions. 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 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
next
Clone of SimGrid repository with local patches