2020-11-30 |
Ehsan Azimi | CommunicationDeterminismChecker class doesn't use Remot... |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | mc_api::comm_addr_equal() is used in CommunicationDeter... |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | handle_comm_pattern() defined in CommunicationDetermini... |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | mc_api::comm_addr_equal() defined |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | mc_api::get_comm_waitany_raw_addr() defined |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | mc_api::get_comm_wait_raw_addr() defined |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | mc_api::get_pattern_comm_addr() is renamed to mc_api... |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | MC_state_copy_incomplete_communications_pattern() imple... |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | MC_state_copy_index_communications_pattern() implemente... |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | more cleanups |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | mcapi::s_restore_initial_state() renamed to mcapi:... |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | A little bit clean up, mc_api::s_log_state() renamed... |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | mcapi::get().get_actors() is called in CommunicationDet... |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | mc_api::restore_state() is defined, it is used in Safet... |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | mc_api::get_actors_size() defined and it is used in... |
commit | commitdiff | tree | snapshot |
2020-11-30 |
Ehsan Azimi | mc_api (facade layer) is merged with mster branch in... |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Ehsan Azimi | Introduce mc::mc_api (pull request 1 -- #349) |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Ehsan Azimi | mc_api::get_pattern_comm_data() defined, |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Ehsan Azimi | mc_api::get_actor_host_name() used by update_comm_patte... |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Ehsan Azimi | mc_api::get_dst_actor() defined, |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Ehsan Azimi | mc_api::get_src_actor() defined, |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Ehsan Azimi | mc_api clean up |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Ehsan Azimi | CommunicationDeterminismChecker::deterministic_comm_pat... |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Arnaud Giersch | Fix return type for get_maxpid(). |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Ehsan Azimi | mc_api::check_send_request_detached() defined and used... |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Ehsan Azimi | mc_api::get_pattern_comm_dst_proc() defined and used... |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Arnaud Giersch | Fix comments. |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Ehsan Azimi | mc_api::get_smpi_request_tag() defined and used in... |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Arnaud Giersch | Assert that *request != MPI_REQUEST_NULL, and remove... |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Arnaud Giersch | Declare function 'const'. |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Arnaud Giersch | Finish replacing calloc with xbt_new0 in example. |
commit | commitdiff | tree | snapshot |
2020-11-27 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Unnecessary semicolon (codefactor). |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | [pvs] Simplify expression. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | [pvs] The conditional expressions of the 'if' statement... |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Dead code: xbt_malloc won't fail. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | [pvs] Two or more case-branches perform the same actions. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | [pvs] Don't let field uninitialized. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Initialize variable. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Use a local variable, and hope to fix PVS-studio warning. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Disable some useless warnings for PVS-studio. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | [pvs] Possible overflow. Cast operands of the '1 <... |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Martin Quinson | Speak of mattermost as a way to reach the community |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Ehsan Azimi | call APIs from facade layer |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Ehsan Azimi | unused variable removed |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Fix use-after-free. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Set default values. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Reduce scope for variables. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Use xbt_new0 (calloc may fail). |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Cosmetics. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Don't set variable twice. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Don't repeat obvious default values. |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | Correctly handle lowercase and default values for route... |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Ehsan Azimi | Merge with simgrid/master |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Ehsan Azimi | conflict with simgrid/master resolved |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
commit | commitdiff | tree | snapshot |
2020-11-26 |
Arnaud Giersch | std::array... |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | [pvs] A part of conditional expression is always false... |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | [pvs] A part of conditional expression is always false... |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | [pvs] Expression 'req' is always true. |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | [pvs] Two or more case-branches perform the same actions. |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | [pvs] The 'tp' pointer was utilized before it was verif... |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | [pvs] The 'gw_src' pointer was utilized before it was... |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | [pvs] The 'status' pointer was utilized before it was... |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | [pvs] The 'mc_model_checker' pointer was utilized befor... |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | Enum class for MC call types, and MC comm pattern diffe... |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | Enum class for MC call types, and MC comm pattern diffe... |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | Enum class for MC call types, and MC comm pattern diffe... |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | projet_description: lookup in ModelChecker build too... |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Ehsan Azimi | mc_api::get_pattern_comm_rdv() |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | Fix buffer overflow. |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | Once again, use sd::array instead of C-style arrays. |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | Unused field. |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | Save another bunch of new/delete. |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | A binary search can be used here too. |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | Replace another handmade binary search. |
commit | commitdiff | tree | snapshot |
2020-11-25 |
Arnaud Giersch | [sonar] Rename local parameters. |
commit | commitdiff | tree | snapshot |
2020-11-24 |
Arnaud Giersch | Works without pointer too. |
commit | commitdiff | tree | snapshot |
2020-11-24 |
Arnaud Giersch | Use std algorithms for binary search. |
commit | commitdiff | tree | snapshot |
2020-11-24 |
Arnaud Giersch | [sonar] Reduce number of 'break' in loop. |
commit | commitdiff | tree | snapshot |
2020-11-24 |
Arnaud Giersch | Kill unused field. |
commit | commitdiff | tree | snapshot |
2020-11-24 |
Arnaud Giersch | Don't modify loop counter inside of loop body. |
commit | commitdiff | tree | snapshot |
2020-11-24 |
Arnaud Giersch | For sonar, remove explicit new/delete. |
commit | commitdiff | tree | snapshot |
2020-11-24 |
Arnaud Giersch | Revert "Make simgrid::xbt::action_fs a std::unique_ptr." |
commit | commitdiff | tree | snapshot |
2020-11-24 |
Arnaud Giersch | Explicit cast. |
commit | commitdiff | tree | snapshot |
2020-11-24 |
Arnaud Giersch | Fix ctors for smpi::Datatype. |
commit | commitdiff | tree | snapshot |
2020-11-24 |
Arnaud Giersch | Use a lambda for comparator. |
commit | commitdiff | tree | snapshot |
2020-11-23 |
Arnaud Giersch | Cleanups in smpi::Win (use std::vector, and simplify... |
commit | commitdiff | tree | snapshot |
2020-11-23 |
Arnaud Giersch | Make Datatype::name_ and Win::name_ a std::string. |
commit | commitdiff | tree | snapshot |
2020-11-23 |
Arnaud Giersch | Use std::unique_ptr with std::ifstream. |
commit | commitdiff | tree | snapshot |
2020-11-23 |
Arnaud Giersch | More std::vector's. |
commit | commitdiff | tree | snapshot |
2020-11-23 |
Arnaud Giersch | One more std::unique_ptr. |
commit | commitdiff | tree | snapshot |
2020-11-23 |
Arnaud Giersch | Useless dynamic allocation. |
commit | commitdiff | tree | snapshot |
2020-11-23 |
Arnaud Giersch | Automatic memory management with std::unique_ptr. |
commit | commitdiff | tree | snapshot |
2020-11-23 |
Arnaud Giersch | Make simgrid::xbt::action_fs a std::unique_ptr. |
commit | commitdiff | tree | snapshot |
2020-11-23 |
Arnaud Giersch | Use std::unique_ptr for Message::answer_. |
commit | commitdiff | tree | snapshot |
2020-11-22 |
Arnaud Giersch | Update simgrid.supp for libcgraph. |
commit | commitdiff | tree | snapshot |
next |