Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
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
2020-12-04 Arnaud GierschFix comment : 2nd arg was never used.
2020-12-04 Arnaud GierschAdd more tests for coverage.
2020-12-04 Arnaud GierschCosmetics (uppercase).
2020-12-04 Arnaud GierschChange parameter to increase coverage.
2020-12-03 Arnaud GierschExclude examples/smpi/mc from coverage analysis.
2020-12-03 Arnaud GierschDry run MC examples for coverage.
2020-12-03 Arnaud GierschAllow to set a deadline for test.
2020-12-03 Arnaud GierschUnused argument.
2020-12-03 Arnaud GierschRevert "Silly workaround for coverage build with gcc...
2020-12-01 Arnaud GierschUpdate .mailmap.
2020-12-01 Arnaud GierschAttribute 'const'.
2020-12-01 Arnaud GierschAttribute 'noreturn'.
2020-12-01 Arnaud GierschUse operator= to copy std::vector.
2020-12-01 Arnaud GierschMC_smx_get_maxpid returns an unsigned long.
2020-12-01 Arnaud GierschFix build MC+NO_SMPI.
2020-12-01 Arnaud Giersch[pvs] Don't let field uninitialized.
2020-12-01 Arnaud GierschCall the good function.
2020-12-01 Arnaud GierschMerge remote-tracking branch 'github/master'
2020-12-01 Martin QuinsonMerge pull request #369 from eazimi/master
2020-12-01 Ehsan Azimistatic function
2020-12-01 Ehsan Azimimcapi::get().request_to_string() called in LivenessChec...
2020-12-01 Ehsan AzimiLivenessChecker::get_textual_trace() calls a facade api
next