A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
simgrid.git
2020-12-11
Ehsan Azimi
get_session() deleted
commit
|
commitdiff
|
tree
|
snapshot
2020-12-11
Ehsan Azimi
mcapi::mc_inc_executed_trans() in replay()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-11
Ehsan Azimi
mcapi::execute() in replay()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-11
Ehsan Azimi
mcapi::restore_initial_state() in replay()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-11
Ehsan Azimi
mcapi::simcall_get_issuer() in replay()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-11
Ehsan Azimi
mcapi::restore_state() in replay()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-11
Ehsan Azimi
mc_api::get().get_actors_size() called in VisitedPair()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-11
Ehsan Azimi
mcapi::get().get_remote_heap_bytes() called in VisitedP...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-11
Ehsan Azimi
Merge with simgrid/master
commit
|
commitdiff
|
tree
|
snapshot
2020-12-10
Arnaud Giersch
Try to fix download links in doc.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-10
Arnaud Giersch
Fix file names for examples in doc.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-10
Arnaud Giersch
Add #include <simgrid/config.h>.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-10
Arnaud Giersch
Remove mostly empty files.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-10
Arnaud Giersch
Don't define (nor use) any MSG symbol when MSG is not...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-10
Arnaud Giersch
Move bits of documentation for recently converted traci...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-10
Arnaud Giersch
[jenkins] Temporary disable LTO on CentOS/ld 2.30-85...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-10
Arnaud Giersch
A bit of cleanup in .gitignore.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-10
Arnaud Giersch
Convert deprecated/msg/trace-process-migration to s4u...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-10
Arnaud Giersch
Kill dead code: tracing_category is managed by AnyActivity.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-10
Arnaud Giersch
More conversions int -> aid_t.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-09
Arnaud Giersch
Use dedicated function to get config value.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-09
Arnaud Giersch
Fix type for parameter 'issuer'.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-09
Arnaud Giersch
Const pointer.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Arnaud Giersch
Remove old deprecated aliases for runtime options.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Arnaud Giersch
Rename runtime option 'tracing/msg/process' to 'tracing...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Arnaud Giersch
Fix log category for example.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Arnaud Giersch
Fire Comm::on_completion in any case.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mc_api::get_automaton_transition_dst() defined and...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mc_api::get_automaton_transition_label() defined and...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mc_api::get_dynar_length() defined and called in run()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mcapi::log_state() in run()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mcapi::mc_wait_for_requests() in run()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mcapi::handle_simcall() in run()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mcapi::mc_inc_executed_trans() in run()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Arnaud Giersch
nullptr one more time.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
request_to_string() implementation in mc_api class
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
Pull from simgrid/master and a subsequent merge with...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
request_get_dot_output() implementation in mc_api class
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mcapi::request_get_dot_output() called in run()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Arnaud Giersch
Convert deprecated/msg/trace-masterworker to s4u/trace...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mcapi::snapshot_equal() in insert_visited_pair()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mcapi::automaton_state_compare() in insert_visited_pair()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mcapi::snapshot_equal() called in insert_acceptance_pair()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mc_api::automaton_state_compare() defined. It's called...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mcapi::compare_pair() in insert_acceptance_pair()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mcapi::compare_pair() in addVisitedState()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
mc_api::compare_pair() defined, it's called in insert_v...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ehsan Azimi
A Pull from simgrid/master and a subsequent merge
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Arnaud Giersch
Spacing cosmetics.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Arnaud Giersch
Fix misleading cmake message.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Arnaud Giersch
Reduce scope for variables.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Arnaud Giersch
Useless code.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Arnaud Giersch
Fix type.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Arnaud Giersch
Update MANIFEST.in.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Arnaud Giersch
Convert deprecated/msg/trace-host-user-variables to...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Arnaud Giersch
Convert deprecated/msg/trace-link-user-variables to...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Arnaud Giersch
Convert deprecated/msg/trace-host-user-variables to...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Arnaud Giersch
Convert deprecated/msg/trace-categories to s4u/trace...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Arnaud Giersch
Chdir into example directory, and set srcdir.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Ehsan Azimi
mc_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 Azimi
pull from simgrid/master and a subsequent merge with...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Arnaud Giersch
Change timeout value to avoid a NetworkFailureException.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Ehsan Azimi
CodeFactor nags!
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Ehsan Azimi
mc_api::compare_automaton_exp_lable() defined. It's...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Ehsan Azimi
mc_api::get_automaton_state() defined. It is called...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Ehsan Azimi
code arrangement
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Ehsan Azimi
mcapi.actor_is_enabled() is called in LivenessChecker...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Ehsan Azimi
mcapi.get_actors() is called in LivenessChecker::create...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Ehsan Azimi
Pull simgrid/master and a subsequent merge
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Arnaud Giersch
Please cppcheck.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Arnaud Giersch
Use type 'bool' for boolean.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Arnaud Giersch
Drop 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 Giersch
Increase coverage.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Arnaud Giersch
Drop unused smpi/plugins/load_balancer.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Arnaud Giersch
Fix comment.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Ehsan Azimi
mc_api::automaton_propositional_symbol_evaluate() is...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Ehsan Azimi
mc_api::s_initialize() renamed to mc_api::session_initi...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Ehsan Azimi
call to mcapi.s_initialize()
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Ehsan Azimi
mc_api::automaton_load() defined
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Arnaud Giersch
Fix comment : 2nd arg was never used.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Arnaud Giersch
Add more tests for coverage.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Arnaud Giersch
Cosmetics (uppercase).
commit
|
commitdiff
|
tree
|
snapshot
2020-12-04
Arnaud Giersch
Change parameter to increase coverage.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-03
Arnaud Giersch
Exclude examples/smpi/mc from coverage analysis.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-03
Arnaud Giersch
Dry run MC examples for coverage.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-03
Arnaud Giersch
Allow to set a deadline for test.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-03
Arnaud Giersch
Unused argument.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-03
Arnaud Giersch
Revert "Silly workaround for coverage build with gcc...
commit
|
commitdiff
|
tree
|
snapshot
2020-12-01
Arnaud Giersch
Update .mailmap.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-01
Arnaud Giersch
Attribute 'const'.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-01
Arnaud Giersch
Attribute 'noreturn'.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-01
Arnaud Giersch
Use operator= to copy std::vector.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-01
Arnaud Giersch
MC_smx_get_maxpid returns an unsigned long.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-01
Arnaud Giersch
Fix 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 Giersch
Call the good function.
commit
|
commitdiff
|
tree
|
snapshot
2020-12-01
Arnaud Giersch
Merge remote-tracking branch 'github/master'
commit
|
commitdiff
|
tree
|
snapshot
next