Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
A few spelling mistakes and many replacements: [Ss]imgrid -> SimGrid.
[simgrid.git] / teshsuite / mc /
2023-06-07 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-06-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-07 Arnaud GierschAnother round of pointer-to-const for sonar. tree | commitdiff
2023-06-06 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-06 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-06 Arnaud GierschClang-tidy: readability-qualified-auto. tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/mwapl... tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-05 mlaurentFix stat missorder at the end of DFSexplorer tree | commitdiff
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master' tree | commitdiff
2023-04-07 Arnaud GierschDefine and use VALGRIND_NO_TRACE_CHILDREN for simgrid... tree | commitdiff
2023-04-07 Arnaud GierschAdd $VALGRIND_NO_LEAK_CHECK in tesh files when simgrid... tree | commitdiff
2023-04-05 Arnaud GierschRegenerate tesh files (one more time). tree | commitdiff
2023-04-05 Arnaud GierschCosmetics. tree | commitdiff
2023-04-04 Arnaud GierschRegenerate tesh files. tree | commitdiff
2023-04-01 Martin QuinsonEnsure that the clang optimizer does not swallow the... tree | commitdiff
2023-04-01 Martin QuinsonOnly compile stateless MC when libevent is found tree | commitdiff
2023-03-31 Martin QuinsonRename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC... tree | commitdiff
2023-03-31 Martin QuinsonCompile the safe part of MC in default mode too tree | commitdiff
2023-03-31 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-03-30 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-30 mlaurentRename guide as strategy and fix counter-example displa... tree | commitdiff
2023-03-28 mlaurentChange opened states for a priority queue tree | commitdiff
2023-03-27 mlaurentNow handle random transition and multiple times transitions tree | commitdiff
2023-03-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-26 Martin QuinsonRevert "Revalidate tesh files now that safety checking... tree | commitdiff
2023-03-24 Martin QuinsonThat test seems to pass nowadays tree | commitdiff
2023-03-24 Martin QuinsonTry to use the same test file for non-linux now that... tree | commitdiff
2023-03-24 Martin QuinsonRevalidate tesh files now that safety checking is based... tree | commitdiff
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master' tree | commitdiff
2023-03-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-19 Martin QuinsonDiffer the creation of the RemoteProcessMemory to when... tree | commitdiff
2023-03-13 Fred SuterMerge branch 'master' into 'master' tree | commitdiff
2023-03-12 Martin QuinsonMC: rename remote/RemoteProcess to sosp/RemoteProcessMemory tree | commitdiff
2023-03-12 Martin QuinsonMC: stop reading maxpid in memory, but ask it over... tree | commitdiff
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master' tree | commitdiff
2023-02-23 Arnaud GierschUse C++17's std::scoped_lock where appropriate. tree | commitdiff
2023-02-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-18 Martin QuinsonKill src/include tree | commitdiff
2023-01-01 Arnaud GierschUpdate copyright lines for 2023. tree | commitdiff
2022-11-03 Arnaud GierschUpdate random-bug-nocrash.tesh after last changes. tree | commitdiff
2022-11-01 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2022-11-01 Martin QuinsonMC: tell the user about how to use the replay path... tree | commitdiff
2022-11-01 Martin QuinsonDisplay the stack of each actor during a MC replay... tree | commitdiff
2022-10-31 Martin QuinsonMC replay: check whether there is a deadlock after... tree | commitdiff
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master' tree | commitdiff
2022-08-25 Arnaud GierschUpdate tesh file. tree | commitdiff
2022-08-02 Martin QuinsonMerge an initialization function into the constructor tree | commitdiff
2022-07-30 Martin QuinsonAnd now cleanup the App-side of cruft that was needed... tree | commitdiff
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
next
Clone of SimGrid repository with local patches