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_automaton_transition_dst() defined and called in run()
[simgrid.git] / src / mc /
2020-11-21 Arnaud GierschFix test requirement (and add missing semicolon). tree | commitdiff
2020-11-21 Arnaud GierschRemove useless new/delete (please sonar). tree | commitdiff
2020-11-21 Arnaud GierschReplace fixed-size C-style arrays with std::array. tree | commitdiff
2020-11-20 Arnaud GierschUse more std::string. tree | commitdiff
2020-11-20 Arnaud GierschMisc simplifications. 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-20 Ehsan Azimimc_pattern.hpp created 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 Arnaud GierschUseless std::move. tree | commitdiff
2020-11-18 Arnaud GierschUse 'using-declarations' to inherit constructors. 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-18 Arnaud GierschPrefer "using" to "typedef". tree | commitdiff
2020-11-18 Arnaud GierschMore const pointers. tree | commitdiff
2020-11-18 Ehsan AzimiIn VisitedState class, get_remote_heap_bytes() from... tree | commitdiff
2020-11-18 Augustin Degommeagain.. tree | commitdiff
2020-11-17 Augustin Degommeet ça continue, encore et encore... tree | commitdiff
2020-11-17 Augustin Degommeone more lib to exclude ... we should really get rid... tree | commitdiff
2020-11-17 Ehsan Azimimc_api::mc_state_choose_request() updated tree | commitdiff
2020-11-16 Ehsan Azimicopy_incomplete_comm_pattern() and copy_index_comm_patt... tree | commitdiff
2020-11-16 Ehsan Azimiget_maxpid() and take_snapshot() in mc_api tree | commitdiff
2020-11-16 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-11-11 Arnaud GierschReduce scope for variable. tree | commitdiff
2020-11-09 Augustin Degommeexclude lib for mc on freebsd 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 Azimimc_assert() deleted 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-20 Arnaud Giersch[sonar] Use template parameter. tree | commitdiff
2020-10-19 Arnaud GierschCorrect a few a/an. tree | commitdiff
2020-10-19 Arnaud GierschTypos. tree | commitdiff
2020-10-16 Arnaud GierschCosmetics. tree | commitdiff
2020-10-16 Arnaud GierschUse 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 GierschRemove useless type aliases. 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-06 Arnaud GierschPrefer nullptr and bool literals. tree | commitdiff
2020-10-05 Arnaud GierschPrefer C++ headers, and C++-style void-arg declarations. tree | commitdiff
2020-10-05 Arnaud GierschMore 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 GierschUse empty() to check whether the container is empty... tree | commitdiff
2020-10-02 Arnaud GierschReduce scope for loop variables. tree | commitdiff
2020-10-02 Arnaud GierschRemove compatibility layer for pre-c++14. tree | commitdiff
2020-10-02 Arnaud GierschUse standard macro to check C++ version. 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-08-25 Arnaud GierschSort list of filtered libraries, and add libzstd to... tree | commitdiff
2020-07-09 Martin QuinsonMerge branch 'master' into klement tree | commitdiff
2020-07-03 Arnaud Giersch[sonar] Const etc. (round #3). tree | commitdiff
2020-07-03 Clément CourageuxMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2020-07-03 Arnaud Giersch[sonar] Const for local variables. tree | commitdiff
2020-07-03 Arnaud Giersch[sonar] Declare functions "const" (round #2). 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-25 Martin QuinsonMC: inline a function tree | commitdiff
2020-05-10 Martin QuinsonPlease the checkers (sonar, codacy) tree | commitdiff
2020-05-10 Martin QuinsonFix MC on FreeBSD tree | commitdiff
2020-05-10 Martin Quinsonstick to our coding standards: fields must have a trail... tree | commitdiff
2020-05-10 Martin QuinsonMC: obey to the rule of 5 to please sonar 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: actually remove the comm channel from RemoteClientM... tree | commitdiff
2020-05-06 Martin QuinsonMC: rename remote/RemoteClient -> remote/RemoteClientMe... tree | commitdiff
2020-05-06 Martin QuinsonMC: move a function around + cosmetics tree | commitdiff
2020-05-06 Martin QuinsonMC: inline a trivial function tree | commitdiff
2020-05-06 Martin QuinsonMC: rename remote/EventLoop into remote/CheckerSide tree | commitdiff
2020-05-06 Martin QuinsonMC: rename remote/Client into remote/AppSide tree | commitdiff
2020-05-06 Martin QuinsonExtra header needed by FreeBSD to know SIGCHILD tree | commitdiff
2020-05-06 Martin Quinsonsplit a piece of src/mc/ModelChecker.cpp into src/mc... tree | commitdiff
2020-05-06 Martin QuinsonMC: tiny code simplifications tree | commitdiff
2020-05-05 Martin Quinsonfurther simplify the MC initialization tree | commitdiff
2020-05-05 Martin Quinsonsimplify the MC initialization by using only one env... tree | commitdiff
2020-05-05 Martin QuinsonRemove a useless call in 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-03-20 Augustin Degommefix copypaste issue tree | commitdiff
2020-03-19 Augustin Degommeadd libssh2 to exclusions to please manjaro tree | commitdiff
2020-03-01 Arnaud GierschMerge branch 's_SimGrid_simgrid' into 'master' tree | commitdiff
2020-02-27 Arnaud Giersch[sonar] Declare move constructors with "noexcept". tree | commitdiff
2020-02-06 Arnaud GierschReplace usage of <random> with <xbt/random.hpp>. tree | commitdiff
2020-02-06 Arnaud GierschMerge branch 'pikachuyann/simgrid-xbt_random' tree | commitdiff
next
Clone of SimGrid repository with local patches