2020-11-30 |
Ehsan Azimi | mcapi::s_restore_initial_state() renamed to mcapi:... |
tree | commitdiff |
2020-11-30 |
Ehsan Azimi | A little bit clean up, mc_api::s_log_state() renamed... |
tree | commitdiff |
2020-11-30 |
Ehsan Azimi | mcapi::get().get_actors() is called in CommunicationDet... |
tree | commitdiff |
2020-11-30 |
Ehsan Azimi | mc_api::restore_state() is defined, it is used in Safet... |
tree | commitdiff |
2020-11-30 |
Ehsan Azimi | mc_api::get_actors_size() defined and it is used in... |
tree | commitdiff |
2020-11-27 |
Ehsan Azimi | Introduce mc::mc_api (pull request 1 -- #349) |
tree | commitdiff |
2020-11-27 |
Ehsan Azimi | mc_api::get_pattern_comm_data() defined, |
tree | commitdiff |
2020-11-27 |
Ehsan Azimi | mc_api::get_actor_host_name() used by update_comm_patte... |
tree | commitdiff |
2020-11-27 |
Ehsan Azimi | mc_api::get_dst_actor() defined, |
tree | commitdiff |
2020-11-27 |
Ehsan Azimi | mc_api::get_src_actor() defined, |
tree | commitdiff |
2020-11-27 |
Ehsan Azimi | mc_api clean up |
tree | commitdiff |
2020-11-27 |
Ehsan Azimi | CommunicationDeterminismChecker::deterministic_comm_pat... |
tree | commitdiff |
2020-11-27 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
tree | commitdiff |
2020-11-27 |
Ehsan Azimi | mc_api::check_send_request_detached() defined and used... |
tree | commitdiff |
2020-11-27 |
Ehsan Azimi | mc_api::get_pattern_comm_dst_proc() defined and used... |
tree | commitdiff |
2020-11-27 |
Ehsan Azimi | mc_api::get_smpi_request_tag() defined and used in... |
tree | commitdiff |
2020-11-27 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
tree | commitdiff |
2020-11-26 |
Ehsan Azimi | call APIs from facade layer |
tree | commitdiff |
2020-11-26 |
Ehsan Azimi | unused variable removed |
tree | commitdiff |
2020-11-26 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
tree | commitdiff |
2020-11-26 |
Ehsan Azimi | Merge with simgrid/master |
tree | commitdiff |
2020-11-26 |
Ehsan Azimi | conflict with simgrid/master resolved |
tree | commitdiff |
2020-11-26 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
tree | commitdiff |
2020-11-26 |
Arnaud Giersch | std::array... |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | [pvs] A part of conditional expression is always false... |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | [pvs] Expression 'req' is always true. |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | [pvs] The 'mc_model_checker' pointer was utilized befor... |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | Enum class for MC call types, and MC comm pattern diffe... |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | Enum class for MC call types, and MC comm pattern diffe... |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | Enum class for MC call types, and MC comm pattern diffe... |
tree | commitdiff |
2020-11-25 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
tree | commitdiff |
2020-11-25 |
Ehsan Azimi | mc_api::get_pattern_comm_rdv() |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | Fix buffer overflow. |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | Once again, use sd::array instead of C-style arrays. |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | A binary search can be used here too. |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | Replace another handmade binary search. |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | [sonar] Rename local parameters. |
tree | commitdiff |
2020-11-24 |
Arnaud Giersch | Use std algorithms for binary search. |
tree | commitdiff |
2020-11-24 |
Arnaud Giersch | Kill unused field. |
tree | commitdiff |
2020-11-22 |
Arnaud Giersch | [sonar] Extract assignment from sub-expression. |
tree | commitdiff |
2020-11-21 |
Arnaud Giersch | Fix test requirement (and add missing semicolon). |
tree | commitdiff |
2020-11-21 |
Arnaud Giersch | Remove useless new/delete (please sonar). |
tree | commitdiff |
2020-11-21 |
Arnaud Giersch | Replace fixed-size C-style arrays with std::array. |
tree | commitdiff |
2020-11-20 |
Arnaud Giersch | Use more std::string. |
tree | commitdiff |
2020-11-20 |
Arnaud Giersch | Misc simplifications. |
tree | commitdiff |
2020-11-20 |
Ehsan Azimi | get_pattern_comm_rdv() defined in mc_api and used in... |
tree | commitdiff |
2020-11-20 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
tree | commitdiff |
2020-11-20 |
Ehsan Azimi | mc_pattern.hpp created |
tree | commitdiff |
2020-11-19 |
Ehsan Azimi | CommunicationDeterminismChecker::log_state() uses APIs... |
tree | commitdiff |
2020-11-19 |
Ehsan Azimi | CommunicationDeterminismChecker::restoreState() uses... |
tree | commitdiff |
2020-11-19 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
tree | commitdiff |
2020-11-18 |
Arnaud Giersch | Useless std::move. |
tree | commitdiff |
2020-11-18 |
Arnaud Giersch | Use 'using-declarations' to inherit constructors. |
tree | commitdiff |
2020-11-18 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
tree | commitdiff |
2020-11-18 |
Ehsan Azimi | CommunicationDeterminismChecker::real_run() uses APIs... |
tree | commitdiff |
2020-11-18 |
Ehsan Azimi | prepare() and run() call APIs of mc_api |
tree | commitdiff |
2020-11-18 |
Arnaud Giersch | Prefer "using" to "typedef". |
tree | commitdiff |
2020-11-18 |
Arnaud Giersch | More const pointers. |
tree | commitdiff |
2020-11-18 |
Ehsan Azimi | In VisitedState class, get_remote_heap_bytes() from... |
tree | commitdiff |
2020-11-18 |
Augustin Degomme | again.. |
tree | commitdiff |
2020-11-17 |
Augustin Degomme | et ça continue, encore et encore... |
tree | commitdiff |
2020-11-17 |
Augustin Degomme | one more lib to exclude ... we should really get rid... |
tree | commitdiff |
2020-11-17 |
Ehsan Azimi | mc_api::mc_state_choose_request() updated |
tree | commitdiff |
2020-11-16 |
Ehsan Azimi | copy_incomplete_comm_pattern() and copy_index_comm_patt... |
tree | commitdiff |
2020-11-16 |
Ehsan Azimi | get_maxpid() and take_snapshot() in mc_api |
tree | commitdiff |
2020-11-16 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
tree | commitdiff |
2020-11-11 |
Arnaud Giersch | Reduce scope for variable. |
tree | commitdiff |
2020-11-09 |
Augustin Degomme | exclude lib for mc on freebsd |
tree | commitdiff |
2020-10-30 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
tree | commitdiff |
2020-10-29 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
tree | commitdiff |
2020-10-28 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
tree | commitdiff |
2020-10-27 |
Ehsan Azimi | mc_assert() deleted |
tree | commitdiff |
2020-10-27 |
Ehsan Azimi | SafetyChecker::run() uses mc_api |
tree | commitdiff |
2020-10-27 |
Ehsan Azimi | SafetyChecker::check_non_termination() uses mc_api |
tree | commitdiff |
2020-10-27 |
Ehsan Azimi | SafetyChecker::get_textual_trace() uses mc_api |
tree | commitdiff |
2020-10-27 |
Ehsan Azimi | SafetyChecker::log_state() calls APIs of mc_api |
tree | commitdiff |
2020-10-26 |
Ehsan Azimi | SafetyChecker::backtrack() calls mc_api functions |
tree | commitdiff |
2020-10-26 |
Ehsan Azimi | SafetyChecker::restore_state() calls mc_api functions |
tree | commitdiff |
2020-10-26 |
Ehsan Azimi | mc_api class introduced, SafetyChecher's constructor... |
tree | commitdiff |
2020-10-23 |
Arnaud Giersch | Merge branch 'pikachuyann/simgrid-stoprofiles' |
tree | commitdiff |
2020-10-20 |
Arnaud Giersch | [sonar] Use template parameter. |
tree | commitdiff |
2020-10-19 |
Arnaud Giersch | Correct a few a/an. |
tree | commitdiff |
2020-10-19 |
Arnaud Giersch | Typos. |
tree | commitdiff |
2020-10-16 |
Arnaud Giersch | Cosmetics. |
tree | commitdiff |
2020-10-16 |
Arnaud Giersch | Use std::array and reduce scope for constant. |
tree | commitdiff |
2020-10-13 |
Arnaud Giersch | "s < 0" is always true here. |
tree | commitdiff |
2020-10-13 |
Arnaud Giersch | Remove useless type aliases. |
tree | commitdiff |
2020-10-08 |
Martin Quinson | Merge branch 'klement/simgrid-klement' into master |
tree | commitdiff |
2020-10-06 |
Arnaud Giersch | Modernize method declarations. |
tree | commitdiff |
2020-10-06 |
Arnaud Giersch | Prefer nullptr and bool literals. |
tree | commitdiff |
2020-10-05 |
Arnaud Giersch | Prefer C++ headers, and C++-style void-arg declarations. |
tree | commitdiff |
2020-10-05 |
Arnaud Giersch | More uses of std::make_unique. |
tree | commitdiff |
2020-10-04 |
Arnaud Giersch | [sonar] Extract the assignment from sub-expression. |
tree | commitdiff |
2020-10-04 |
Arnaud Giersch | [sonar] Replace redundant type with "auto" (src/mc/). |
tree | commitdiff |
2020-10-02 |
Arnaud Giersch | [sonar] Use "std::make_unique" to construct "std::uniqu... |
tree | commitdiff |
2020-10-02 |
Arnaud Giersch | [sonar] Use "std::make_shared" to construct "std::share... |
tree | commitdiff |
2020-10-02 |
Arnaud Giersch | Use empty() to check whether the container is empty... |
tree | commitdiff |
2020-10-02 |
Arnaud Giersch | Reduce scope for loop variables. |
tree | commitdiff |
2020-10-02 |
Arnaud Giersch | Remove compatibility layer for pre-c++14. |
tree | commitdiff |
2020-10-02 |
Arnaud Giersch | Use standard macro to check C++ version. |
tree | commitdiff |
next |