Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Correctly disable DPOR when StateEq reduction is enabled
[simgrid.git] / src / mc / sosp /
2022-08-07 Martin QuinsonIntegrate the (WIP) hashing logic in the Snapshot object tree | commitdiff
2022-08-07 Martin QuinsonSmall cleanups in mc::Snapshot tree | commitdiff
2022-08-06 Martin QuinsonConvert simgrid::mc::snapshot_equal() into Snapshot... tree | commitdiff
2022-07-30 Martin QuinsonAnd now cleanup the App-side of cruft that was needed... tree | commitdiff
2022-07-30 Martin Quinsonfurther reduce the amount of call sites for RemoteProce... tree | commitdiff
2022-05-12 Arnaud GierschRename variables to avoid shadowed declarations. tree | commitdiff
2022-05-10 Arnaud GierschConcatenate nested namespaces (sonar). tree | commitdiff
2022-04-27 Arnaud GierschUse structured binding declarations (sonar, c++17). tree | commitdiff
2022-02-27 Martin QuinsonMC: after all, checker does not need the list of dead... tree | commitdiff
2022-02-15 Arnaud GierschIgnore local variables without type in snapshot. tree | commitdiff
2022-02-12 Martin QuinsonFix more sonar things tree | commitdiff
2022-01-06 Arnaud GierschUpdate copyright lines for 2022. tree | commitdiff
2021-09-14 SUTER FredericMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2021-07-19 Arnaud Giersch[pvs-studio] Protect from self assignment. tree | commitdiff
2021-06-08 Augustin DegommeMerge branch 'factor_in_actions' into 'master' tree | commitdiff
2021-06-04 Arnaud Giersch[sonar] Replace redundant type with 'auto'. tree | commitdiff
2021-04-03 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-04-02 Arnaud GierschChange "if(...) xbt_die(...)" to "xbt_assert(...)". tree | commitdiff
2021-03-14 Martin QuinsonMC gets the addresses of variables it needs from the... tree | commitdiff
2021-03-14 Martin QuinsonThe checker now have a reference to the session tree | commitdiff
2021-03-14 Martin QuinsonRename model_checker->get_remote_simulation() into... tree | commitdiff
2021-03-13 Martin QuinsonRename mc::RemoteSimulation into mc::RemoteProcess tree | commitdiff
2021-03-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-03-08 Arnaud GierschRemove useless declaration of default destructor. tree | commitdiff
2021-03-06 Martin QuinsonMC: inline a function, kill a file 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-15 Augustin DegommeMerge branch 'Adrien.Gougeon/simgrid-master' tree | commitdiff
2020-11-25 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-22 agougeonMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
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-19 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid... tree | commitdiff
2020-11-18 Arnaud GierschUseless std::move. tree | commitdiff
2020-11-18 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2020-11-18 Arnaud GierschPrefer "using" to "typedef". tree | commitdiff
2020-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles' tree | commitdiff
2020-10-22 adrien gougeonMerge branch 'master' of framagit.org:Adrien.Gougeon... tree | commitdiff
2020-10-22 AdrienMerge branch 'master' into 'master' tree | commitdiff
2020-10-19 Arnaud GierschCorrect a few a/an. 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-05 Arnaud GierschMore uses of std::make_unique. tree | commitdiff
2020-10-04 Arnaud Giersch[sonar] Replace redundant type with "auto" (src/mc/). 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-07-03 Clément CourageuxMerge remote-tracking branch 'upstream/master' into... 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-06-12 Augustin DegommeFix most of spelling mistakes in src/ 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-04-27 Yann DuplouyMerge branch 'random_readwritestate' into 'master' tree | commitdiff
2020-04-25 Frederic Suternamespacing cosmetics 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
2020-01-31 Arnaud GierschCosmetics: fix "Malformed whitespace in C++" spotted... 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-29 Arnaud GierschSonar consts of the day. tree | commitdiff
2019-12-28 Arnaud Giersch[sonar] Constify pointer and reference parameters in... tree | commitdiff
2019-12-28 Arnaud GierschCosmetics: use 's_xbt_mheap_t' instead of 'struct mdesc'. tree | commitdiff
2019-12-23 Arnaud Giersch[sonar] Constify pointer and reference local variables... tree | commitdiff
2019-12-23 Arnaud GierschMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2019-12-23 Arnaud Giersch[sonar] Initialize data members with class initializers... tree | commitdiff
2019-12-20 Arnaud Giersch[sonar] Fix casts to pointer type without const qualifier. tree | commitdiff
2019-12-18 Frederic Sutercodefactor: a few more annoying spaces tree | commitdiff
2019-12-17 Frederic Suteranother bunch of cleanups tree | commitdiff
2019-11-19 Martin QuinsonMerge branch 'xbt_random' into 'master' tree | commitdiff
2019-11-10 Arnaud GierschSlightly reorganize log categories; remove unused ones. 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-09-27 Martin QuinsonMerge branch 'master' into 'rework-energy-plugin' tree | commitdiff
2019-09-24 Frederic SuterMerge branch 'master' into disk tree | commitdiff
2019-09-24 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-09-23 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2019-09-23 Martin QuinsonDon't mandate C++14 as some build daemons still don... tree | commitdiff
2019-09-23 Martin QuinsonMC: switch to xxhash as a (fast) hashing function. tree | commitdiff
2019-07-11 Arnaud Gierschmc: better way to check if address is on heap. tree | commitdiff
2019-07-11 Arnaud Gierschmc/compare: const/ref tree | commitdiff
2019-07-11 Arnaud Gierschmc: const seems wrong here. tree | commitdiff
2019-07-11 Arnaud Gierschmc/compare: define is_on_heap(const void*). tree | commitdiff
2019-07-10 Arnaud GierschCosmetics. tree | commitdiff
2019-07-10 Martin QuinsonRemove option model-checker/hash; This is always activa... tree | commitdiff
2019-06-03 Martin QuinsonSimplify mc::Region::read() tree | commitdiff
2019-06-03 Martin QuinsonCleanups in class mc::Region tree | commitdiff
2019-05-31 Martin QuinsonMC: rename some files tree | commitdiff
2019-05-31 Martin QuinsonMC: finish emptying an old C file tree | commitdiff
2019-05-31 Martin QuinsonMC: inline a function that is now trivial tree | commitdiff
2019-05-31 Martin QuinsonMC::Region: Also remove the permanent_addr thingy tree | commitdiff
2019-05-31 Martin Quinsonmc: cosmetics tree | commitdiff
next
Clone of SimGrid repository with local patches