AND Public Git Repository - simgrid.git/history - src/mc/sosp/Snapshot

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / sosp / Snapshot_test.cpp

2023-11-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw
2023-11-05	Martin Quinson	Remove the stateful model-checking from the archive...	blob \| commitdiff \| raw
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/mwapl...	blob \| commitdiff \| raw
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw
2023-06-05	Martin Quinson	Merge branch 'odpor-implementation' into 'master'	blob \| commitdiff \| raw
2023-05-31	Martin Quinson	Merge branch 'simgrid-fork-plugin-photovoltaic'	blob \| commitdiff \| raw
2023-05-23	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw
2023-05-23	Arnaud Giersch	Remove global variables in PageStore_test too (mimic...	blob \| commitdiff \| raw
2023-05-17	Arnaud Giersch	Get rid of global variables for snapshot tests.	blob \| commitdiff \| raw \| diff to current
2023-04-26	Martin Quinson	Merge branch 'operation-plugin' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-18	Martin Quinson	Merge branch 'udpor-phase7' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-17	Martin Quinson	sonar fixes	blob \| commitdiff \| raw \| diff to current
2023-03-23	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-22	Martin Quinson	Fix some easy sonar smells	blob \| commitdiff \| raw \| diff to current
2023-03-22	Martin Quinson	Merge branch 'udpor-phase6' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Differ the creation of the RemoteProcessMemory to when...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Finally kill the now empty ModelChecker class	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move the memory handling of RemoteProcessMemory singlet...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Remove some more usage of mc_model_checker in Region...	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Move the checker_side_ from the ModelChecker to the...	blob \| commitdiff \| raw \| diff to current
2023-03-13	Fred Suter	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-12	Martin Quinson	MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory	blob \| commitdiff \| raw \| diff to current
2023-03-12	Martin Quinson	MC: stop reading maxpid in memory, but ask it over...	blob \| commitdiff \| raw \| diff to current
2023-03-05	Martin Quinson	Merge branch 'maximal-subset-search' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-03	Martin Quinson	Move the PageStore from ModelChecker to RemoteApp	blob \| commitdiff \| raw \| diff to current
2023-02-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-18	Martin Quinson	Kill src/include	blob \| commitdiff \| raw \| diff to current
2023-01-01	Arnaud Giersch	Update copyright lines for 2023.	blob \| commitdiff \| raw \| diff to current
2022-10-06	Arnaud Giersch	Merge branch 'wifi_clean' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-07-30	Martin Quinson	And now cleanup the App-side of cruft that was needed...	blob \| commitdiff \| raw \| diff to current
2022-02-27	Martin Quinson	MC: after all, checker does not need the list of dead...	blob \| commitdiff \| raw \| diff to current
2022-01-06	Arnaud Giersch	Update copyright lines for 2022.	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	MC gets the addresses of variables it needs from the...	blob \| commitdiff \| raw \| diff to current
2021-03-13	Martin Quinson	Rename mc::RemoteSimulation into mc::RemoteProcess	blob \| commitdiff \| raw \| diff to current
2021-01-13	agougeon	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2021-01-12	Arnaud Giersch	Update copyright lines.	blob \| commitdiff \| raw \| diff to current
2020-12-15	Augustin Degomme	Merge branch 'Adrien.Gougeon/simgrid-master'	blob \| commitdiff \| raw \| diff to current
2020-11-25	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-22	agougeon	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-21	Arnaud Giersch	Fix test requirement (and add missing semicolon).	blob \| commitdiff \| raw \| diff to current
2020-11-21	Arnaud Giersch	Remove useless new/delete (please sonar).	blob \| commitdiff \| raw \| diff to current
2020-11-19	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-18	Arnaud Giersch	Useless std::move.	blob \| commitdiff \| raw \| diff to current
2020-10-23	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-stoprofiles'	blob \| commitdiff \| raw \| diff to current
2020-10-13	Arnaud Giersch	Remove useless type aliases.	blob \| commitdiff \| raw \| diff to current
2020-10-08	Martin Quinson	Merge branch 'klement/simgrid-klement' into master	blob \| commitdiff \| raw \| diff to current
2020-10-05	Arnaud Giersch	More uses of std::make_unique.	blob \| commitdiff \| raw \| diff to current
2020-10-04	Arnaud Giersch	[sonar] Replace redundant type with "auto" (src/mc/).	blob \| commitdiff \| raw \| diff to current
2020-05-09	Martin Quinson	MC: Further renamings	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: actually remove the comm channel from RemoteClientM...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: rename remote/RemoteClient -> remote/RemoteClientMe...	blob \| commitdiff \| raw \| diff to current
2020-02-06	Arnaud Giersch	Replace usage of <random> with <xbt/random.hpp>.	blob \| commitdiff \| raw \| diff to current
2020-02-06	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-xbt_random'	blob \| commitdiff \| raw \| diff to current
2020-01-31	Arnaud Giersch	Cosmetics: fix "Malformed whitespace in C++" spotted...	blob \| commitdiff \| raw \| diff to current
2020-01-24	Frederic Suter	Merge branch 'depencencies' of https://framagit.org...	blob \| commitdiff \| raw \| diff to current
2020-01-01	Arnaud Giersch	Update copyright lines with new year.	blob \| commitdiff \| raw \| diff to current
2019-12-29	Arnaud Giersch	Sonar consts of the day.	blob \| commitdiff \| raw \| diff to current
2019-12-18	Frederic Suter	codefactor: a few more annoying spaces	blob \| commitdiff \| raw \| diff to current
2019-10-07	Frederic Suter	Merge branch 'master' into CRTP	blob \| commitdiff \| raw \| diff to current
2019-06-03	Martin Quinson	Simplify mc::Region::read()	blob \| commitdiff \| raw \| diff to current
2019-06-03	Martin Quinson	Cleanups in class mc::Region	blob \| commitdiff \| raw \| diff to current
2019-05-31	Martin Quinson	MC: rename some files	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom