| 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 | Pull from simgrid/master and a subsequent merge with... |
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 | 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 | 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 | 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 | 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 | 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 | 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::get_pattern_comm_addr() is renamed to mc_api... |
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-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 | 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-25 |
Arnaud Giersch | [pvs] Expression 'req' is always true. |
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-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-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 |
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-17 |
Ehsan Azimi | mc_api::mc_state_choose_request() updated |
tree | commitdiff |
| 2020-11-16 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
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 | 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-08 |
Martin Quinson | Merge branch 'klement/simgrid-klement' into master |
tree | commitdiff |
| 2020-10-06 |
Arnaud Giersch | Modernize method declarations. |
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-09-30 |
Martin Quinson | Merge branch 'adrien' into 'master' |
tree | commitdiff |
| 2020-09-30 |
Martin Quinson | Merge branch 'master' into adrien |
tree | commitdiff |
| 2020-09-26 |
Martin Quinson | Merge branch 'master' of framagit.org:Adrien.Gougeon... |
tree | commitdiff |
| 2020-07-03 |
Clément Courageux | Merge remote-tracking branch 'upstream/master' into... |
tree | commitdiff |
| 2020-07-02 |
Arnaud Giersch | [sonar] Convert integer literals to bool literals. |
tree | commitdiff |
| next |
