Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add new entry in Release_Notes.
[simgrid.git] / teshsuite / mc /
2023-11-15 Martin QuinsonMerge branch 'battery-get-name' into 'master' tree | commitdiff
2023-11-13 Martin QuinsonAnother easy test from McMini tree | commitdiff
2023-11-12 Martin QuinsonImplement pthread_cond in sthread -- too bad it's TODO... tree | commitdiff
2023-11-12 Martin QuinsonImplement pthread_barrier calls in sthread, and test... tree | commitdiff
2023-11-12 Martin QuinsonAdd more Mc Mini tests tree | commitdiff
2023-11-12 Martin QuinsonRevalidate the tesh files that got invalidated by a... tree | commitdiff
2023-11-09 mlaurentFix some tesh after changing dependence relation about... tree | commitdiff
2023-11-09 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-08 Martin QuinsonFix the tesh files now that the ODPOR algo was changed... tree | commitdiff
2023-11-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-06 Martin QuinsonChange most mcmini tests to odpor reduction; the unchan... tree | commitdiff
2023-11-05 Martin QuinsonRemove the stateful model-checking from the archive... tree | commitdiff
2023-11-05 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-11-05 Martin QuinsonAdd a cmake option to disable McMini tests, and rename... tree | commitdiff
2023-11-03 Martin QuinsonMerge branch 'master' into simgrid-fork-changelog-plugins tree | commitdiff
2023-11-02 Martin QuinsonAdd more tests from McMini tree | commitdiff
2023-11-02 Martin QuinsonRemove ignored lines from tesh files, uberbumer tree | commitdiff
2023-11-02 Martin QuinsonFix various build errors tree | commitdiff
2023-11-02 Martin QuinsonMissing files tree | commitdiff
2023-11-02 Martin QuinsonDo not use MC_process_clock_add() for now, as it makes... tree | commitdiff
2023-11-02 Martin QuinsonAdd an example from the McMini project to test sthread... tree | commitdiff
2023-06-29 Martin QuinsonShow the user-level call in MC backtraces tree | commitdiff
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p... tree | commitdiff
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
next
Clone of SimGrid repository with local patches