AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / mc_config.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-29	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-29	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-28	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2023-06-28	Martin Quinson	Merge branch 'master' into 'python_bindings_host_load_p...	blob \| commitdiff \| raw \| diff to current
2023-06-28	Martin Quinson	Typo found by lintian	blob \| commitdiff \| raw \| diff to current
2023-06-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-24	Martin Quinson	sleep sets are not an option in MC. We always need...	blob \| commitdiff \| raw \| diff to current
2023-06-22	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2023-06-22	Martin Quinson	model-check/sleep-set is now true by default	blob \| commitdiff \| raw \| diff to current
2023-06-07	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/mwapl...	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Fix few typos and add random seed intializer	blob \| commitdiff \| raw \| diff to current
2023-06-05	Martin Quinson	Merge branch 'rename-operation-task' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-05	Martin Quinson	Merge branch 'odpor-implementation' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-05-30	Maxwell Pirtle	Fix subtle bug in ~_E computation	blob \| commitdiff \| raw \| diff to current
2023-05-26	Maxwell Pirtle	Resolve misconception with ODPOR pseudocode impl.	blob \| commitdiff \| raw \| diff to current
2023-05-16	mlaurent	Add some strategies and fix the semantics of Max/MinMatch	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add skeleton for expansion phase of ODPOR	blob \| commitdiff \| raw \| diff to current
2023-05-12	Maxwell Pirtle	Integrate SDPOR into `model-check/reduction` flag	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-13	Martin Quinson	Trust the config system to check that only valid values...	blob \| commitdiff \| raw \| diff to current
2023-04-01	Martin Quinson	Ignore empty replay path + hide a global (to avoid...	blob \| commitdiff \| raw \| diff to current
2023-04-01	Martin Quinson	Don't qwack when the default empty string is passed...	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Compile the safe part of MC in default mode too	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-30	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-30	mlaurent	Rename guide as strategy and fix counter-example displa...	blob \| commitdiff \| raw \| diff to current
2023-03-28	mlaurent	Change opened states for a priority queue	blob \| commitdiff \| raw \| diff to current
2023-03-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-24	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	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	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-18	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Bases for wait distance guide	blob \| commitdiff \| raw \| diff to current
2023-03-15	Martin Quinson	Sanitize how we know the current MC mode	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-02	Martin Quinson	Move the dot_output from ModelChecker to Exploration	blob \| commitdiff \| raw \| diff to current
2023-02-26	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-02-24	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-22	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	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-02-17	mlaurent	Default is not to use sleep-set to agree with existing...	blob \| commitdiff \| raw \| diff to current
2023-02-17	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-16	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-16	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-15	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-14	mlaurent	adding option for sleep set	blob \| commitdiff \| raw \| diff to current
2023-01-01	Arnaud Giersch	Update copyright lines for 2023.	blob \| commitdiff \| raw \| diff to current
2022-11-05	Martin Quinson	Allow the MC replay to use the 'zero' buffering	blob \| commitdiff \| raw \| diff to current
2022-11-01	Fred Suter	Merge branch 'fluidio' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-10-27	Arnaud Giersch	Use true/false for boolean variable (Sonar).	blob \| commitdiff \| raw \| diff to current
2022-10-16	Martin Quinson	Don't include simgrid/config.h from simgrid/modelchecke...	blob \| commitdiff \| raw \| diff to current
2022-10-06	Arnaud Giersch	Merge branch 'wifi_clean' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-08-25	Arnaud Giersch	Misc cosmetics for sonar.	blob \| commitdiff \| raw \| diff to current
2022-08-08	Martin Quinson	Correctly disable DPOR when StateEq reduction is enabled	blob \| commitdiff \| raw \| diff to current
2022-08-07	Martin Quinson	Merge mc_safety.hpp into DFSExplorer class	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	blob \| commitdiff \| raw \| diff to current
2022-05-09	Arnaud Giersch	Replace const reference to std::string by std::string_v...	blob \| commitdiff \| raw \| diff to current
2022-01-06	Arnaud Giersch	Update copyright lines for 2022.	blob \| commitdiff \| raw \| diff to current
2021-10-13	Arnaud Giersch	Kill trailing whitespaces in source code files.	blob \| commitdiff \| raw \| diff to current
2021-04-03	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-04-02	Arnaud Giersch	Change "if(...) xbt_die(...)" to "xbt_assert(...)".	blob \| commitdiff \| raw \| diff to current
2021-02-24	agougeon	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-02-10	Martin Quinson	Merge branch 'local changes'	blob \| commitdiff \| raw \| diff to current
2021-02-08	eazimi	a flag for udpor in the simgrid config	blob \| commitdiff \| raw \| diff to current
2021-02-03	agougeon	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2021-01-20	eazimi	Merge branch 'master' of github.com:eazimi/simgrid	blob \| commitdiff \| raw \| diff to current
2021-01-19	Arnaud Giersch	One more static initialization order fiasco.	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-12-11	Ehsan Azimi	Merge with simgrid/master	blob \| commitdiff \| raw \| diff to current
2020-12-08	Arnaud Giersch	Remove old deprecated aliases for runtime options.	blob \| commitdiff \| raw \| diff to current
2020-10-23	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-stoprofiles'	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-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-09-01	Martin Quinson	Don't name the unused parameter of this callback	blob \| commitdiff \| raw \| diff to current
2019-08-18	Martin Quinson	switch to infty buffering for now as some tests are...	blob \| commitdiff \| raw \| diff to current
2019-08-18	Martin Quinson	Apply the default settings of 'smpi/buffering' too	blob \| commitdiff \| raw \| diff to current
2019-08-17	Martin Quinson	New MC option: smpi/buffering, to control MPI buffering	blob \| commitdiff \| raw \| diff to current
2019-08-17	Martin Quinson	fix non-MC builds	blob \| commitdiff \| raw \| diff to current
2019-08-17	Martin Quinson	use assignment to non-trivial class rather than artific...	blob \| commitdiff \| raw \| diff to current
2019-07-10	Martin Quinson	Remove option model-checker/hash; This is always activa...	blob \| commitdiff \| raw \| diff to current
2019-05-31	Martin Quinson	Merge branch 'tracemgrsplit' into 'master'	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom