Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
mc_api::get_actor_host_name() used by update_comm_pattern() in comm. deter. checker
[simgrid.git] / src / mc / checker /
2020-11-27 Ehsan Azimimc_api::get_actor_host_name() used by update_comm_patte... tree | commitdiff
2020-11-27 Ehsan Azimimc_api::get_dst_actor() defined, tree | commitdiff
2020-11-27 Ehsan Azimimc_api::get_src_actor() defined, tree | commitdiff
2020-11-27 Ehsan AzimiCommunicationDeterminismChecker::deterministic_comm_pat... tree | commitdiff
2020-11-27 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-27 Ehsan Azimimc_api::check_send_request_detached() defined and used... tree | commitdiff
2020-11-27 Ehsan Azimimc_api::get_pattern_comm_dst_proc() defined and used... tree | commitdiff
2020-11-27 Ehsan Azimimc_api::get_smpi_request_tag() defined and used in... tree | commitdiff
2020-11-27 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-26 Ehsan Azimicall APIs from facade layer tree | commitdiff
2020-11-26 Ehsan Azimiunused variable removed tree | commitdiff
2020-11-26 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-26 Ehsan AzimiMerge with simgrid/master tree | commitdiff
2020-11-26 Ehsan Azimiconflict with simgrid/master resolved tree | commitdiff
2020-11-26 Ehsan AzimiMerge 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 GierschEnum class for MC call types, and MC comm pattern diffe... tree | commitdiff
2020-11-25 Arnaud GierschEnum class for MC call types, and MC comm pattern diffe... tree | commitdiff
2020-11-25 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-25 Ehsan Azimimc_api::get_pattern_comm_rdv() tree | commitdiff
2020-11-20 Ehsan Azimiget_pattern_comm_rdv() defined in mc_api and used in... tree | commitdiff
2020-11-20 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-19 Ehsan AzimiCommunicationDeterminismChecker::log_state() uses APIs... tree | commitdiff
2020-11-19 Ehsan AzimiCommunicationDeterminismChecker::restoreState() uses... tree | commitdiff
2020-11-19 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-18 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-11-18 Ehsan AzimiCommunicationDeterminismChecker::real_run() uses APIs... tree | commitdiff
2020-11-18 Ehsan Azimiprepare() and run() call APIs of mc_api tree | commitdiff
2020-11-17 Ehsan Azimimc_api::mc_state_choose_request() updated tree | commitdiff
2020-11-16 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-10-30 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-10-29 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-10-28 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-10-27 Ehsan AzimiSafetyChecker::run() uses mc_api tree | commitdiff
2020-10-27 Ehsan AzimiSafetyChecker::check_non_termination() uses mc_api tree | commitdiff
2020-10-27 Ehsan AzimiSafetyChecker::get_textual_trace() uses mc_api tree | commitdiff
2020-10-27 Ehsan AzimiSafetyChecker::log_state() calls APIs of mc_api tree | commitdiff
2020-10-26 Ehsan AzimiSafetyChecker::backtrack() calls mc_api functions tree | commitdiff
2020-10-26 Ehsan AzimiSafetyChecker::restore_state() calls mc_api functions tree | commitdiff
2020-10-26 Ehsan Azimimc_api class introduced, SafetyChecher's constructor... tree | commitdiff
2020-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles' tree | commitdiff
2020-10-08 Martin QuinsonMerge branch 'klement/simgrid-klement' into master tree | commitdiff
2020-10-06 Arnaud GierschModernize 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 GierschUse empty() to check whether the container is empty... tree | commitdiff
2020-09-30 Martin QuinsonMerge branch 'adrien' into 'master' tree | commitdiff
2020-09-30 Martin QuinsonMerge branch 'master' into adrien tree | commitdiff
2020-09-26 Martin QuinsonMerge branch 'master' of framagit.org:Adrien.Gougeon... tree | commitdiff
2020-07-03 Clément CourageuxMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2020-07-02 Arnaud Giersch[sonar] Convert integer literals to bool literals. tree | commitdiff
2020-07-02 Arnaud Giersch[sonar] Declare functions "const" in src/mc/. tree | commitdiff
2020-07-01 Arnaud Giersch[sonar] Remove redundant casts. tree | commitdiff
2020-06-12 Augustin DegommeFix most of spelling mistakes in src/ tree | commitdiff
2020-05-10 Martin Quinsonstick to our coding standards: fields must have a trail... tree | commitdiff
2020-05-10 Martin QuinsonFix MC+SMPI builds tree | commitdiff
2020-05-09 Martin QuinsonMC: Further renamings tree | commitdiff
2020-05-06 Martin QuinsonMC: rename remote/RemoteClient -> remote/RemoteClientMe... tree | commitdiff
2020-05-05 Martin Quinsonfurther simplify the MC initialization tree | commitdiff
2020-04-27 Yann DuplouyMerge branch 'random_readwritestate' into 'master' tree | commitdiff
2020-04-25 Frederic Suternamespacing cosmetics tree | commitdiff
2020-02-06 Arnaud GierschMerge branch 'pikachuyann/simgrid-xbt_random' tree | commitdiff
2020-01-31 Arnaud GierschCosmetics: fix "Malformed whitespace in C++" spotted... tree | commitdiff
2020-01-30 Frederic SuterMerge branch 'master' into depencencies tree | commitdiff
2020-01-29 Martin QuinsonMC: various cleanups done while debugging something tree | commitdiff
2020-01-29 Martin QuinsonMC: when exec()ing the app, first pass any parameters... tree | commitdiff
2020-01-24 Frederic SuterMerge branch 'depencencies' of https://framagit.org... tree | commitdiff
2020-01-01 Arnaud GierschUpdate copyright lines with new year. tree | commitdiff
2019-12-29 Arnaud GierschSonar consts of the day. tree | commitdiff
2019-12-28 Arnaud Giersch[sonar] Constify pointer and reference parameters in... tree | commitdiff
2019-12-23 Arnaud Giersch[sonar] Constify pointer and reference local variables... tree | commitdiff
2019-12-22 Arnaud GierschObey coding standard for the field names in mc:State. tree | commitdiff
2019-12-17 Frederic Suteranother bunch of cleanups tree | commitdiff
2019-12-16 Frederic Sutermornign cleanups tree | commitdiff
2019-12-13 Frederic Suteryet another bunch of cleanups tree | commitdiff
2019-12-06 Augustin Degommestill some missing includes. tree | commitdiff
2019-12-06 Frederic Suteradd missing include for smpi_options tree | commitdiff
2019-12-06 Frederic Suteradd missing include for smpi_options tree | commitdiff
2019-12-06 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-12-06 Arnaud GierschHAVE_SMPI is always defined (maybe to 0). tree | commitdiff
2019-12-05 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-12-05 Augustin Degommefix build with MC + no SMPI tree | commitdiff
2019-12-04 Martin QuinsonMerge branch 'doc' into 'master' tree | commitdiff
2019-12-04 Augustin Degommehelp mc initialize smpi options. tree | commitdiff
2019-11-19 Martin QuinsonMerge branch 'xbt_random' into 'master' tree | commitdiff
2019-11-10 Arnaud GierschSlightly reorganize log categories; remove unused ones. tree | commitdiff
2019-10-23 Yann DuplouyMerge branch 'master' into xbt_random tree | commitdiff
2019-10-20 Arnaud GierschReduce scope for variables. tree | commitdiff
2019-10-20 Arnaud GierschSpell check. tree | commitdiff
2019-10-07 Frederic SuterMerge branch 'master' into CRTP tree | commitdiff
2019-09-27 Martin QuinsonMerge branch 'master' into 'rework-energy-plugin' tree | commitdiff
2019-09-23 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2019-09-20 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2019-09-16 Frederic SuterMerge branch 'master' into disk tree | commitdiff
2019-09-13 Martin QuinsonMC: rename some methods to make their intent clear tree | commitdiff
2019-09-10 Frederic SuterMerge branch 'master' into disk tree | commitdiff
2019-09-09 Martin Quinsoncosmetics in the wanna be MC's simcall observer tree | commitdiff
2019-08-31 Gene CoopermanSpelling fixes & a few cases of polishing the English... tree | commitdiff
next
Clone of SimGrid repository with local patches