2020-12-11 |
Ehsan Azimi | mcapi::restore_state() in replay() |
tree | commitdiff |
2020-12-11 |
Ehsan Azimi | mc_api::get().get_actors_size() called in VisitedPair() |
tree | commitdiff |
2020-12-11 |
Ehsan Azimi | mcapi::get().get_remote_heap_bytes() called in VisitedP... |
tree | commitdiff |
2020-12-11 |
Ehsan Azimi | Merge with simgrid/master |
tree | commitdiff |
2020-12-10 |
Arnaud Giersch | More conversions int -> aid_t. |
tree | commitdiff |
2020-12-09 |
Arnaud Giersch | Fix type for parameter 'issuer'. |
tree | commitdiff |
2020-12-09 |
Arnaud Giersch | Const pointer. |
tree | commitdiff |
2020-12-08 |
Arnaud Giersch | Remove old deprecated aliases for runtime options. |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mc_api::get_automaton_transition_dst() defined and... |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mc_api::get_automaton_transition_label() defined and... |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mc_api::get_dynar_length() defined and called in run() |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mcapi::log_state() in run() |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mcapi::mc_wait_for_requests() in run() |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mcapi::handle_simcall() in run() |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mcapi::mc_inc_executed_trans() in run() |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | request_to_string() implementation in mc_api class |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | Pull from simgrid/master and a subsequent merge with... |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | request_get_dot_output() implementation in mc_api class |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mcapi::request_get_dot_output() called in run() |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mcapi::snapshot_equal() in insert_visited_pair() |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mcapi::automaton_state_compare() in insert_visited_pair() |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mcapi::snapshot_equal() called in insert_acceptance_pair() |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mc_api::automaton_state_compare() defined. It's called... |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mcapi::compare_pair() in insert_acceptance_pair() |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mcapi::compare_pair() in addVisitedState() |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | mc_api::compare_pair() defined, it's called in insert_v... |
tree | commitdiff |
2020-12-08 |
Ehsan Azimi | A Pull from simgrid/master and a subsequent merge |
tree | commitdiff |
2020-12-07 |
Ehsan Azimi | mc_api::set_property_automaton(), it is called in run() |
tree | commitdiff |
2020-12-04 |
Ehsan Azimi | pull from simgrid/master and a subsequent merge with... |
tree | commitdiff |
2020-12-04 |
Ehsan Azimi | CodeFactor nags! |
tree | commitdiff |
2020-12-04 |
Ehsan Azimi | mc_api::compare_automaton_exp_lable() defined. It's... |
tree | commitdiff |
2020-12-04 |
Ehsan Azimi | mc_api::get_automaton_state() defined. It is called... |
tree | commitdiff |
2020-12-04 |
Ehsan Azimi | code arrangement |
tree | commitdiff |
2020-12-04 |
Ehsan Azimi | mcapi.actor_is_enabled() is called in LivenessChecker... |
tree | commitdiff |
2020-12-04 |
Ehsan Azimi | mcapi.get_actors() is called in LivenessChecker::create... |
tree | commitdiff |
2020-12-04 |
Ehsan Azimi | Pull simgrid/master and a subsequent merge |
tree | commitdiff |
2020-12-04 |
Ehsan Azimi | mc_api::automaton_propositional_symbol_evaluate() is... |
tree | commitdiff |
2020-12-04 |
Ehsan Azimi | mc_api::s_initialize() renamed to mc_api::session_initi... |
tree | commitdiff |
2020-12-04 |
Ehsan Azimi | call to mcapi.s_initialize() |
tree | commitdiff |
2020-12-04 |
Ehsan Azimi | mc_api::automaton_load() defined |
tree | commitdiff |
2020-12-01 |
Arnaud Giersch | Attribute 'const'. |
tree | commitdiff |
2020-12-01 |
Arnaud Giersch | Attribute 'noreturn'. |
tree | commitdiff |
2020-12-01 |
Arnaud Giersch | Use operator= to copy std::vector. |
tree | commitdiff |
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 |
next |