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/compare: kill dead code
[simgrid.git] / src / mc / checker /
2019-06-14 Arnaud GierschMerge remote-tracking branch 'github/master' tree | commitdiff
2019-06-11 Martin Quinsonmc: don't catch exceptions we cannot deal with tree | commitdiff
2019-06-10 Martin Quinsoncode simplification in MC start sequence tree | commitdiff
2019-05-31 Martin QuinsonMC: inline a function that is now trivial tree | commitdiff
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master' tree | commitdiff
2019-05-30 Martin QuinsonMC::remote: snake case tree | commitdiff
2019-05-28 Martin Quinsonmc: snake_case the checkers tree | commitdiff
2019-05-28 Martin Quinsonmc: snake_case a class tree | commitdiff
2019-05-28 Martin Quinsonmc: change 3 static functions into private methods tree | commitdiff
2019-05-26 Martin Quinsonfurther tidy the includes in MC tree | commitdiff
2019-05-17 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-15 Martin Quinsonmc: simplification: do not repeat information in parameters tree | commitdiff
2019-05-15 Martin Quinson[mc] enable model-check/record by default, and cosmetics tree | commitdiff
2019-05-07 Frederic Sutercosmetics: make more fields private tree | commitdiff
2019-05-06 Arnaud GierschFix a FIXME. tree | commitdiff
2019-05-06 Arnaud GierschChange two dynars (maybe more). tree | commitdiff
2019-05-03 Arnaud Giersch[sonar] Don't name unused exceptions. tree | commitdiff
2019-03-09 Arnaud GierschCosmetics around std::unique_ptr. tree | commitdiff
2019-03-01 Arnaud GierschAvoid shadowing outer variables. tree | commitdiff
2019-03-01 Arnaud GierschKill unused parameter and please Sonar. tree | commitdiff
2019-02-17 Frederic Suterweek-end cleanups in ActorImpl tree | commitdiff
2019-02-02 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-02-01 Martin Quinsontidy some #includes in MC tree | commitdiff
2019-01-27 Martin Quinsonactivity::CommImpl: stick to our naming standards for... tree | commitdiff
2019-01-26 Martin Quinsonrefcounting on the src and dst actors of a comm tree | commitdiff
2019-01-10 Arnaud Giersch[sonar] Rename method (don't use "main"). tree | commitdiff
2019-01-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2019-01-07 Arnaud GierschUpdate copyright lines with new year. tree | commitdiff
2018-10-11 jed56 ( Jean-Emile... Merge branch 'master' into v3.20-expose-simgrid-jni tree | commitdiff
2018-08-12 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2018-08-10 Arnaud GierschFix build without smpi. tree | commitdiff
2018-07-17 Martin Quinsondoxygen: uniformity in command markers (@ vs. \) tree | commitdiff
2018-07-04 Martin QuinsonMerge branch 'master' of https://github.com/Onesphore... tree | commitdiff
2018-07-02 Martin Quinsonkill some include directives tree | commitdiff
2018-06-30 Martin QuinsonPartially snake_case ActorImpl tree | commitdiff
2018-06-27 onesphoreMerge remote-tracking branch 'upstream/master' tree | commitdiff
2018-06-26 Arnaud GierschTry to please Sonar about redundant forward declaration... tree | commitdiff
2018-06-16 Martin Quinsonmv simgrid_config.h simgrid/config tree | commitdiff
2018-04-18 Arnaud GierschConvert MC config parameters to C++ API, and move their... tree | commitdiff
2018-04-18 Arnaud GierschClean up duplicated declarations for mc_config variables. tree | commitdiff
2018-04-13 Arnaud GierschKill unused DynarRange; move newDeleteDynar() in dynar.h. tree | commitdiff
2018-04-08 Arnaud GierschUpdate copyright headers. tree | commitdiff
2018-03-30 Martin QuinsonMerge pull request #259 from simgrid/configfix tree | commitdiff
2018-03-28 Arnaud GierschRename sg_config.h -> sg_config.hpp. tree | commitdiff
2018-03-13 Martin QuinsonMerge pull request #256 from Flamefire/master tree | commitdiff
2018-03-13 Arnaud GierschDefine XBT_PUBLIC without parameter, just like XBT_PRIVATE. tree | commitdiff
2018-03-13 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2018-03-13 Augustin Degommelaste batch tonight tree | commitdiff
2018-03-13 Augustin Degommemore bad fixes tree | commitdiff
2018-01-09 Arnaud GierschRemove XBT_LOG_CONNECT, it should be useless nowadays. tree | commitdiff
2017-12-07 Arnaud GierschAdd explicit keyword to simgrid::mc::RemotePtr constructor. tree | commitdiff
2017-11-27 Tom CornebizeMerge branch 'master' into fix/execute_benched tree | commitdiff
2017-11-23 TakishippMerge branch 'actor-yield' of github.com:Takishipp... tree | commitdiff
2017-11-23 ZitagccMerge branch 'master' into actor-yield tree | commitdiff
2017-11-05 Martin Quinsonconvert src/mc/mc_replay.h into mc_replay.hpp (+ don... tree | commitdiff
2017-11-04 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2017-11-04 Frederic Suterstringify (a lot) tree | commitdiff
2017-11-01 Arnaud GierschSonar: extract assignment from expression. tree | commitdiff
2017-10-18 ZitagccMerge branch 'master' into actor-priority tree | commitdiff
2017-10-16 Arnaud GierschReplace some more malloc/free. tree | commitdiff
2017-10-16 Arnaud GierschSonar asked to end this switch cases with an unconditio... tree | commitdiff
2017-10-16 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2017-10-16 Arnaud GierschExplicitly use default ctor/dtor. tree | commitdiff
2017-10-16 Arnaud GierschKill useless empty functions. tree | commitdiff
2017-10-15 Martin QuinsonMerge branch 'actor-startkilltime' of https://github... tree | commitdiff
2017-10-15 Martin QuinsonMerge pull request #228 from Takishipp/actor-execute tree | commitdiff
2017-10-14 Arnaud GierschUse a C++ string instead of char* for mailbox name. tree | commitdiff
2017-10-14 Arnaud GierschCosmetics: remove redundant access specifier. tree | commitdiff
2017-10-10 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2017-10-10 Arnaud GierschSort include lists according to clang-format. tree | commitdiff
2017-10-10 Arnaud GierschIn C++ files, replace SG_{BEGIN,END}+_DECL() by extern... tree | commitdiff
2017-10-10 Arnaud GierschRename C++ only header files from .h to .hpp. tree | commitdiff
2017-10-10 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2017-10-09 Arnaud GierschChange some struct to class. tree | commitdiff
2017-10-05 Arnaud GierschReduce scope for variable. tree | commitdiff
2017-10-04 Arnaud GierschRemove side effects from right hand operands of &&... tree | commitdiff
2017-10-04 Arnaud GierschRemove lines of commented code spotted by sonar. tree | commitdiff
2017-10-02 ZitagccMerge branch 'master' into async-wait tree | commitdiff
2017-09-15 Arnaud GierschThrow exception by value. tree | commitdiff
2017-08-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2017-08-27 Martin QuinsonMerge pull request #215 from Takishipp/s_type_cleanup tree | commitdiff
2017-08-23 Arnaud GierschUse (const) references with range-based for loops. tree | commitdiff
2017-07-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2017-07-27 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2017-07-27 Arnaud GierschFix signedness errors in format strings. tree | commitdiff
2017-07-24 Martin QuinsonMerge pull request #202 from Takishipp/clear_fct tree | commitdiff
2017-07-21 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2017-07-21 Frederic Suterplease sonar (initialization lists) + reindent tree | commitdiff
2017-07-20 Arnaud GierschAdd missing calls to XBT_LOG_CONNECT. tree | commitdiff
2017-07-18 Martin QuinsonMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2017-07-17 Martin QuinsonMerge pull request #200 from Takishipp/clear_fct tree | commitdiff
2017-07-17 degommeBig move of all SMPI files in subfolders because it... tree | commitdiff
2017-07-16 Martin Quinsonthis is a hpp header tree | commitdiff
2017-07-16 Martin QuinsonMC: rename process into RemoteClient tree | commitdiff
2017-06-30 Martin QuinsonMerge pull request #193 from Takishipp/signals tree | commitdiff
next
Clone of SimGrid repository with local patches