Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
2020-12-15 Arnaud GierschUpdate MANIFEST.in.
2020-12-15 Arnaud GierschRemove unused static functions.
2020-12-15 Arnaud GierschPrefer range-based for loop.
2020-12-15 Arnaud GierschDrop unused parameter.
2020-12-15 Arnaud GierschTypo in function name.
2020-12-15 Arnaud GierschRedundant blank line.
2020-12-15 Augustin DegommeUpdate ChangeLog
2020-12-11 Martin QuinsonMerge pull request #371 from eazimi/master
2020-12-11 Ehsan AzimiCleanup!
2020-12-11 Ehsan Azimimc_api::set_checker() defined and called in Checker()
2020-12-11 Ehsan Azimicreate_checker without Session argument
2020-12-11 Ehsan AzimicreateCommunicationDeterminismChecker without Session...
2020-12-11 Ehsan Azimiconstructor without Session argument
2020-12-11 Ehsan AzimicreateSafetyChecker without Session argument
2020-12-11 Ehsan Azimiconstructor without Session argument
2020-12-11 Ehsan AzimicreateLivenessChecker without Session argument
2020-12-11 Ehsan Azimiconstructor without Session argument
2020-12-11 Ehsan AzimiSession instance removed from Checker class
2020-12-11 Ehsan Azimiget_session() deleted
2020-12-11 Ehsan Azimimcapi::mc_inc_executed_trans() in replay()
2020-12-11 Ehsan Azimimcapi::execute() in replay()
2020-12-11 Ehsan Azimimcapi::restore_initial_state() in replay()
2020-12-11 Ehsan Azimimcapi::simcall_get_issuer() in replay()
2020-12-11 Ehsan Azimimcapi::restore_state() in replay()
2020-12-11 Ehsan Azimimc_api::get().get_actors_size() called in VisitedPair()
2020-12-11 Ehsan Azimimcapi::get().get_remote_heap_bytes() called in VisitedP...
2020-12-11 Ehsan AzimiMerge with simgrid/master
2020-12-10 Arnaud GierschTry to fix download links in doc.
2020-12-10 Arnaud GierschFix file names for examples in doc.
2020-12-10 Arnaud GierschAdd #include <simgrid/config.h>.
2020-12-10 Arnaud GierschRemove mostly empty files.
2020-12-10 Arnaud GierschDon't define (nor use) any MSG symbol when MSG is not...
2020-12-10 Arnaud GierschMove bits of documentation for recently converted traci...
2020-12-10 Arnaud Giersch[jenkins] Temporary disable LTO on CentOS/ld 2.30-85...
2020-12-10 Arnaud GierschA bit of cleanup in .gitignore.
2020-12-10 Arnaud GierschConvert deprecated/msg/trace-process-migration to s4u...
2020-12-10 Arnaud GierschKill dead code: tracing_category is managed by AnyActivity.
2020-12-10 Arnaud GierschMore conversions int -> aid_t.
2020-12-09 Arnaud GierschUse dedicated function to get config value.
2020-12-09 Arnaud GierschFix type for parameter 'issuer'.
2020-12-09 Arnaud GierschConst pointer.
2020-12-08 Arnaud GierschRemove old deprecated aliases for runtime options.
2020-12-08 Arnaud GierschRename runtime option 'tracing/msg/process' to 'tracing...
2020-12-08 Arnaud GierschFix log category for example.
2020-12-08 Arnaud GierschFire Comm::on_completion in any case.
2020-12-08 Ehsan Azimimc_api::get_automaton_transition_dst() defined and...
2020-12-08 Ehsan Azimimc_api::get_automaton_transition_label() defined and...
2020-12-08 Ehsan Azimimc_api::get_dynar_length() defined and called in run()
2020-12-08 Ehsan Azimimcapi::log_state() in run()
2020-12-08 Ehsan Azimimcapi::mc_wait_for_requests() in run()
2020-12-08 Ehsan Azimimcapi::handle_simcall() in run()
2020-12-08 Ehsan Azimimcapi::mc_inc_executed_trans() in run()
2020-12-08 Arnaud Gierschnullptr one more time.
2020-12-08 Ehsan Azimirequest_to_string() implementation in mc_api class
2020-12-08 Ehsan AzimiPull from simgrid/master and a subsequent merge with...
2020-12-08 Ehsan Azimirequest_get_dot_output() implementation in mc_api class
2020-12-08 Ehsan Azimimcapi::request_get_dot_output() called in run()
2020-12-08 Arnaud GierschConvert deprecated/msg/trace-masterworker to s4u/trace...
2020-12-08 Ehsan Azimimcapi::snapshot_equal() in insert_visited_pair()
2020-12-08 Ehsan Azimimcapi::automaton_state_compare() in insert_visited_pair()
2020-12-08 Ehsan Azimimcapi::snapshot_equal() called in insert_acceptance_pair()
2020-12-08 Ehsan Azimimc_api::automaton_state_compare() defined. It's called...
2020-12-08 Ehsan Azimimcapi::compare_pair() in insert_acceptance_pair()
2020-12-08 Ehsan Azimimcapi::compare_pair() in addVisitedState()
2020-12-08 Ehsan Azimimc_api::compare_pair() defined, it's called in insert_v...
2020-12-08 Ehsan AzimiA Pull from simgrid/master and a subsequent merge
2020-12-07 Arnaud GierschSpacing cosmetics.
2020-12-07 Arnaud GierschFix misleading cmake message.
2020-12-07 Arnaud GierschReduce scope for variables.
2020-12-07 Arnaud GierschUseless code.
2020-12-07 Arnaud GierschFix type.
2020-12-07 Arnaud GierschUpdate MANIFEST.in.
2020-12-07 Arnaud GierschConvert deprecated/msg/trace-host-user-variables to...
2020-12-07 Arnaud GierschConvert deprecated/msg/trace-link-user-variables to...
2020-12-07 Arnaud GierschConvert deprecated/msg/trace-host-user-variables to...
2020-12-07 Arnaud GierschConvert deprecated/msg/trace-categories to s4u/trace...
2020-12-07 Arnaud GierschChdir into example directory, and set srcdir.
2020-12-07 Ehsan Azimimc_api::set_property_automaton(), it is called in run()
2020-12-06 Arnaud Giersch[sonar] Refactor to reduce nested blocks.
2020-12-05 Arnaud Giersch[sonar] s/NULL/nullptr.
2020-12-04 Ehsan Azimipull from simgrid/master and a subsequent merge with...
2020-12-04 Arnaud GierschChange timeout value to avoid a NetworkFailureException.
2020-12-04 Ehsan AzimiCodeFactor nags!
2020-12-04 Ehsan Azimimc_api::compare_automaton_exp_lable() defined. It's...
2020-12-04 Ehsan Azimimc_api::get_automaton_state() defined. It is called...
2020-12-04 Ehsan Azimicode arrangement
2020-12-04 Ehsan Azimimcapi.actor_is_enabled() is called in LivenessChecker...
2020-12-04 Ehsan Azimimcapi.get_actors() is called in LivenessChecker::create...
2020-12-04 Ehsan AzimiPull simgrid/master and a subsequent merge
2020-12-04 Arnaud GierschPlease cppcheck.
2020-12-04 Arnaud GierschUse type 'bool' for boolean.
2020-12-04 Arnaud GierschDrop xbt_str_split().
2020-12-04 Arnaud Giersch[sonar] Reduce number of nested code blocks.
2020-12-04 Arnaud GierschIncrease coverage.
2020-12-04 Arnaud GierschDrop unused smpi/plugins/load_balancer.
2020-12-04 Arnaud GierschFix comment.
2020-12-04 Ehsan Azimimc_api::automaton_propositional_symbol_evaluate() is...
2020-12-04 Ehsan Azimimc_api::s_initialize() renamed to mc_api::session_initi...
2020-12-04 Ehsan Azimicall to mcapi.s_initialize()
2020-12-04 Ehsan Azimimc_api::automaton_load() defined
next