| 2020-12-01 |
Arnaud Giersch | MC_smx_get_maxpid returns an unsigned long. |
tree | commitdiff |
| 2020-12-01 |
Arnaud Giersch | Fix build MC+NO_SMPI. |
tree | commitdiff |
| 2020-12-01 |
Arnaud Giersch | [pvs] Don't let field uninitialized. |
tree | commitdiff |
| 2020-12-01 |
Arnaud Giersch | Call the good function. |
tree | commitdiff |
| 2020-12-01 |
Arnaud Giersch | Merge remote-tracking branch 'github/master' |
tree | commitdiff |
| 2020-12-01 |
Martin Quinson | Merge pull request #369 from eazimi/master |
tree | commitdiff |
| 2020-12-01 |
Ehsan Azimi | static function |
tree | commitdiff |
| 2020-12-01 |
Ehsan Azimi | mcapi::get().request_to_string() called in LivenessChec... |
tree | commitdiff |
| 2020-12-01 |
Ehsan Azimi | LivenessChecker::get_textual_trace() calls a facade api |
tree | commitdiff |
| 2020-12-01 |
Ehsan Azimi | mc_api::mc_dump_record_path() renamed to mc_api::dump_r... |
tree | commitdiff |
| 2020-12-01 |
Ehsan Azimi | LivenessChecker::show_acceptance_cycle() call facade... |
tree | commitdiff |
| 2020-12-01 |
Ehsan Azimi | LivenessChecker::log_state() calls a facade api |
tree | commitdiff |
| 2020-12-01 |
Ehsan Azimi | copy_incomplete_comm_pattern() and copy_index_comm_patt... |
tree | commitdiff |
| 2020-12-01 |
Ehsan Azimi | cleanup! |
tree | commitdiff |
| 2020-11-30 |
Ehsan Azimi | MC_restore_communications_pattern() and MC_patterns_cop... |
tree | commitdiff |
| 2020-11-30 |
Ehsan Azimi | CommunicationDeterminismChecker class doesn't use Remot... |
tree | commitdiff |
| 2020-11-30 |
Ehsan Azimi | mc_api::comm_addr_equal() is used in CommunicationDeter... |
tree | commitdiff |
| 2020-11-30 |
Ehsan Azimi | handle_comm_pattern() defined in CommunicationDetermini... |
tree | commitdiff |
| 2020-11-30 |
Ehsan Azimi | mc_api::comm_addr_equal() defined |
tree | commitdiff |
| 2020-11-30 |
Ehsan Azimi | mc_api::get_comm_waitany_raw_addr() defined |
tree | commitdiff |
| 2020-11-30 |
Ehsan Azimi | mc_api::get_comm_wait_raw_addr() defined |
tree | commitdiff |
| 2020-11-30 |
Ehsan Azimi | mc_api::get_pattern_comm_addr() is renamed to mc_api... |
tree | commitdiff |
| 2020-11-30 |
Ehsan Azimi | MC_state_copy_incomplete_communications_pattern() imple... |
tree | commitdiff |
| 2020-11-30 |
Ehsan Azimi | MC_state_copy_index_communications_pattern() implemente... |
tree | commitdiff |
| 2020-11-30 |
Ehsan Azimi | more cleanups |
tree | commitdiff |
| 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 |
| next |
