AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / sosp / Region.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-03-23	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw
2023-03-22	Martin Quinson	Fix some easy sonar smells	blob \| commitdiff \| raw
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	Finally kill the now empty ModelChecker class	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-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-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-01-01	Arnaud Giersch	Update copyright lines for 2023.	blob \| commitdiff \| raw \| diff to current
2022-05-12	Arnaud Giersch	Rename variables to avoid shadowed declarations.	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	blob \| commitdiff \| raw \| diff to current
2022-04-27	Arnaud Giersch	Use structured binding declarations (sonar, c++17).	blob \| commitdiff \| raw \| diff to current
2022-01-06	Arnaud Giersch	Update copyright lines for 2022.	blob \| commitdiff \| raw \| diff to current
2021-09-14	SUTER Frederic	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2021-06-08	Augustin Degomme	Merge branch 'factor_in_actions' into 'master'	blob \| commitdiff \| raw \| diff to current
2021-06-04	Arnaud Giersch	[sonar] Replace redundant type with 'auto'.	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	Rename model_checker->get_remote_simulation() into...	blob \| commitdiff \| raw \| diff to current
2021-03-13	Martin Quinson	Rename mc::RemoteSimulation into mc::RemoteProcess	blob \| commitdiff \| raw \| diff to current
2021-03-06	Martin Quinson	MC: inline a function, kill a file	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-10-23	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-stoprofiles'	blob \| commitdiff \| raw \| diff to current
2020-09-30	Martin Quinson	Merge branch 'adrien' into 'master'	blob \| commitdiff \| raw \| diff to current
2020-09-30	Martin Quinson	Merge branch 'master' into adrien	blob \| commitdiff \| raw \| diff to current
2020-09-26	Martin Quinson	Merge branch 'master' of framagit.org:Adrien.Gougeon...	blob \| commitdiff \| raw \| diff to current
2020-07-03	Clément Courageux	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2020-07-02	Arnaud Giersch	[sonar] Declare functions "const" in src/mc/.	blob \| commitdiff \| raw \| diff to current
2020-05-09	Martin Quinson	MC: Further renamings	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-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-28	Arnaud Giersch	[sonar] Constify pointer and reference parameters in...	blob \| commitdiff \| raw \| diff to current
2019-12-23	Arnaud Giersch	[sonar] Constify pointer and reference local variables...	blob \| commitdiff \| raw \| diff to current
2019-12-20	Arnaud Giersch	[sonar] Fix casts to pointer type without const qualifier.	blob \| commitdiff \| raw \| diff to current
2019-11-19	Martin Quinson	Merge branch 'xbt_random' into 'master'	blob \| commitdiff \| raw \| diff to current
2019-11-10	Arnaud Giersch	Slightly reorganize log categories; remove unused ones.	blob \| commitdiff \| raw \| diff to current
2019-10-07	Frederic Suter	Merge branch 'master' into CRTP	blob \| commitdiff \| raw \| diff to current
2019-07-11	Arnaud Giersch	mc: const seems wrong here.	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