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] / src / mc / sosp /
2023-11-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-05 Martin QuinsonRemove the stateful model-checking from the archive... tree | commitdiff
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p... tree | commitdiff
2023-06-20 Fred SuterMerge branch 'master' into 'task-token' tree | commitdiff
2023-06-16 Arnaud GierschMerge branch 'fix-wakeup-tree-iterator' into 'master' tree | commitdiff
2023-06-16 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-15 Martin QuinsonFix the liveness tests by ignoring the Comm ID memory... tree | commitdiff
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-09 Arnaud GierschSometimes the expansion may work and the memory address... 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 Martin QuinsonMerge branch 'odpor-implementation' into 'master' tree | commitdiff
2023-05-31 Martin QuinsonMerge branch 'simgrid-fork-plugin-photovoltaic' tree | commitdiff
2023-05-23 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-05-23 Arnaud GierschRemove global variables in PageStore_test too (mimic... tree | commitdiff
2023-05-17 Arnaud GierschGet rid of global variables for snapshot tests. tree | commitdiff
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master' tree | commitdiff
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master' tree | commitdiff
2023-04-17 Martin Quinsonsonar fixes tree | commitdiff
2023-04-11 Arnaud GierschPointer and reference should be "const" if the correspo... tree | commitdiff
2023-03-23 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-22 Martin QuinsonFix some easy sonar smells tree | commitdiff
2023-03-22 Martin QuinsonFix two sonar bugs 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-19 Martin QuinsonBetter responsabilities splitup between CheckerSide... tree | commitdiff
2023-03-19 Martin QuinsonMove methods not related to Memory out of RemoteProcess... tree | commitdiff
2023-03-19 Martin QuinsonFinally kill the now empty ModelChecker class tree | commitdiff
2023-03-19 Martin QuinsonMove the memory handling of RemoteProcessMemory singlet... tree | commitdiff
2023-03-19 Martin QuinsonMove handle_message from ModelChecker to RemoteProcessM... tree | commitdiff
2023-03-19 Martin QuinsonMove handle_waitpid from ModelChecker to RemoteProcessM... tree | commitdiff
2023-03-19 Martin QuinsonGosh, how many calls to that global were there? tree | commitdiff
2023-03-19 Martin QuinsonKill a now unused class in mc tree | commitdiff
2023-03-19 Martin QuinsonRemove some more usage of mc_model_checker in Region... tree | commitdiff
2023-03-19 Martin QuinsonAnother use of mc_model_checker disapears. In Snapshot... tree | commitdiff
2023-03-18 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-18 Martin QuinsonMove the checker_side_ from the ModelChecker to the... tree | commitdiff
2023-03-18 Martin QuinsonOne usage of mc_model_checker less tree | commitdiff
2023-03-14 Arnaud GierschRemove comments about non-existent support for smpi... tree | commitdiff
2023-03-13 Fred SuterMerge branch 'master' into 'master' tree | commitdiff
2023-03-13 Martin QuinsonGive the remote_process_memory to the mc::State constructor tree | commitdiff
2023-03-12 Martin QuinsonMove another function of ModelChecker to RemoteProcessM... 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-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master' tree | commitdiff
2023-03-03 Martin QuinsonMove the PageStore from ModelChecker to RemoteApp 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-08 Arnaud GierschRemove explicit conversion to std::string when it's... tree | commitdiff
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master' tree | commitdiff
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
next
Clone of SimGrid repository with local patches