Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Missing include (for uintptr_t).
[simgrid.git] / teshsuite / mc /
2022-04-27 Arnaud GierschUse structured binding declarations (sonar, c++17). tree | commitdiff
2022-03-29 Martin QuinsonMerge branch 'dev-mailbox-clear' into 'master' tree | commitdiff
2022-03-28 Bruno DonassoloMerge branch 'issue105' into 'master' tree | commitdiff
2022-03-18 Martin QuinsonSpecify actor in the MC traces tree | commitdiff
2022-03-17 Arnaud GierschSuppress trailing whitespaces. tree | commitdiff
2022-02-27 Martin QuinsonMC: after all, checker does not need the list of dead... tree | commitdiff
2022-02-19 Martin QuinsonFix a MC test that seem to be tested on freebsd only... tree | commitdiff
2022-02-18 Martin QuinsonRevalidate all SafetyChecker tesh now that the output... tree | commitdiff
2022-02-14 Arnaud GierschRevalidate random-bug-nocrash.tesh. tree | commitdiff
2022-02-12 Martin QuinsonImprove the final stats reported by SafetyChecker,... tree | commitdiff
2022-02-11 Martin QuinsonImplement the RandomTransition tree | commitdiff
2022-01-30 Martin QuinsonReorg the cmake in teshuite/mc to factorize things... tree | commitdiff
2022-01-20 SUTER FredericCleanup in log categories tree | commitdiff
2022-01-06 Arnaud GierschUpdate copyright lines for 2022. tree | commitdiff
2021-09-21 SUTER Fredericuseless cosmetic commit tree | commitdiff
2021-09-21 SUTER Fredericplease sonar, get_clock is a static method tree | commitdiff
2021-09-20 SUTER Fredericsave some hidden calls to Engine::get_instance tree | commitdiff
2021-09-17 SUTER FredericMerge branch 'no_simix_global' tree | commitdiff
2021-09-17 SUTER FredericMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2021-09-17 SUTER Frederictransfer some parts of the initialization from SIMIX_gl... tree | commitdiff
2021-09-14 SUTER FredericMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2021-07-21 Arnaud GierschUse workaround only for versions of libdw known to... tree | commitdiff
2021-03-27 Arnaud GierschReplace std::random with xbt::random. tree | commitdiff
2021-03-18 Martin QuinsonAdd a tests-mc target to rebuild only what's needed... tree | commitdiff
2021-03-14 Martin QuinsonMC gets the addresses of variables it needs from the... tree | commitdiff
2021-03-14 Martin QuinsonMC: lazily load the dwarf information tree | commitdiff
2021-03-13 Martin QuinsonRename mc::RemoteSimulation into mc::RemoteProcess tree | commitdiff
2021-03-10 Arnaud GierschMerge branch 's4u/model_list' into 'master' tree | commitdiff
2021-03-10 Arnaud GierschSonar prefers nullptr. tree | commitdiff
2021-03-09 Arnaud GierschMake scan-build ignore volontary null-pointer dereference. tree | commitdiff
2021-03-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-03-08 Arnaud GierschMinor reindent. tree | commitdiff
2021-03-08 Martin QuinsonMC: Extend the random-bug example to test what's going... tree | commitdiff
2021-03-02 Arnaud GierschUncomment debug message. tree | commitdiff
2021-03-01 Arnaud GierschFix usage string. tree | commitdiff
2021-02-28 Martin Quinsonobjectification of MC simcall achieved -- many tests... tree | commitdiff
2021-02-24 agougeonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-02-19 Arnaud GierschUse :: to call get_clock() which is a static member... tree | commitdiff
2021-02-03 agougeonMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2021-01-26 Martin Quinsonlogs: Allow %a instead of %P to display the actor name tree | commitdiff
2021-01-13 agougeonMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2021-01-12 Arnaud GierschUpdate copyright lines. tree | commitdiff
2020-12-17 Arnaud GierschUseless cast to void*. tree | commitdiff
2020-12-17 Arnaud GierschUse Mailbox::get_unique<>(), and save a few delete. tree | commitdiff
2020-12-17 Arnaud GierschUse typed Mailbox::get<>() instead of using static_cast... tree | commitdiff
2020-12-15 Augustin DegommeMerge branch 'Adrien.Gougeon/simgrid-master' tree | commitdiff
2020-12-04 Ehsan AzimiPull simgrid/master and a subsequent merge tree | commitdiff
2020-12-04 Arnaud GierschCosmetics (uppercase). tree | commitdiff
2020-12-03 Arnaud GierschDry run MC examples for coverage. tree | commitdiff
2020-12-03 Arnaud GierschUnused argument. tree | commitdiff
2020-11-22 agougeonMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2020-11-19 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-19 Arnaud GierschCosmetics. tree | commitdiff
2020-11-18 Arnaud GierschEnum class in teshsuite/mc/random-bug/. tree | commitdiff
2020-11-16 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-11-11 Arnaud GierschAvoid nested try-catch blocks. tree | commitdiff
2020-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles' tree | commitdiff
2020-10-09 Arnaud GierschSonar smells. tree | commitdiff
2020-10-08 Martin QuinsonMerge branch 'klement/simgrid-klement' into master tree | commitdiff
2020-10-04 Arnaud Giersch[sonar] Replace redundant type with "auto" (teshsuite/). 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-09 Arnaud Giersch[sonar] Explicit cast when loosing precision (teshsuite/). 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-02-07 Arnaud GierschPursue deprecation of xbt/synchro.h. tree | commitdiff
2020-02-06 Arnaud GierschMerge branch 'pikachuyann/simgrid-xbt_random' tree | commitdiff
2020-02-01 Arnaud Giersch[sonar] const++ tree | commitdiff
2020-01-31 Arnaud GierschFix test mc/mutex-handling. tree | commitdiff
2020-01-30 Martin QuinsonMerge branch 'depencencies' into 'master' tree | commitdiff
2020-01-30 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2020-01-30 Martin QuinsonAdd a cmake flag to not compile MSG at all 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-31 Arnaud Giersch[sonar] Another bunch of const qualifiers. tree | commitdiff
2019-12-30 Arnaud GierschMisc const qualifiers following yesterday's changes. tree | commitdiff
2019-12-23 Arnaud Giersch[sonar] Constify pointer and reference local variables... tree | commitdiff
2019-12-18 Frederic Sutercodefactor: a few more annoying spaces tree | commitdiff
2019-10-23 Yann DuplouyMerge branch 'master' into xbt_random tree | commitdiff
2019-10-20 Arnaud GierschSpell check. tree | commitdiff
2019-10-07 Frederic SuterMerge branch 'master' into CRTP tree | commitdiff
2019-08-17 Martin Quinsonuse assignment to non-trivial class rather than artific... tree | commitdiff
2019-07-11 Arnaud Giersch[sonar] Handle default case in switch statements. tree | commitdiff
2019-07-10 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-07-10 Arnaud GierschActivate crashing random bug on linux only. tree | commitdiff
2019-07-10 Frederic Suterfix https://framagit.org/simgrid/simgrid/issues/29 tree | commitdiff
2019-07-10 Arnaud GierschMisc sonar threats. tree | commitdiff
2019-07-10 Arnaud GierschDisable leak check on abort. tree | commitdiff
2019-07-09 Arnaud GierschMessage has been removed. tree | commitdiff
2019-07-09 Martin Quinsonimprove verification of crashing programs tree | commitdiff
2019-06-03 Arnaud GierschUnused parameters argc/argv. tree | commitdiff
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master' tree | commitdiff
2019-05-29 Martin Quinsonmc: Also remove the process_index tree | commitdiff
2019-05-20 Martin QuinsonAhem. You mean I need to actually compile with MC after... tree | commitdiff
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-15 Martin Quinson[mc] enable model-check/record by default, and cosmetics tree | commitdiff
2019-05-09 Arnaud GierschTesh files: kill obsolete variables SG_TEST_EXENV and... tree | commitdiff
2019-05-06 Arnaud GierschKill unused static function. tree | commitdiff
next
Clone of SimGrid repository with local patches