AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / mc_config.cpp

2023-03-31	Martin Quinson	Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...	blob \| commitdiff \| raw
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
2019-05-30	Martin Quinson	MC: remove support for flat storage of regions	blob \| commitdiff \| raw \| diff to current
2019-05-26	Martin Quinson	further tidy the includes in MC	blob \| commitdiff \| raw \| diff to current
2019-05-16	Frederic Suter	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2019-05-16	Martin Quinson	mc: kill model-check/ksm option. Was not activated...	blob \| commitdiff \| raw \| diff to current
2019-05-15	Martin Quinson	Remove option 'model-check/record': paths are recorded...	blob \| commitdiff \| raw \| diff to current
2019-05-15	Martin Quinson	[mc] enable model-check/record by default, and cosmetics	blob \| commitdiff \| raw \| diff to current
2019-05-03	Arnaud Giersch	Kill never implemented option "model-check/snapshot_fds".	blob \| commitdiff \| raw \| diff to current
2019-01-08	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2019-01-07	Arnaud Giersch	Update copyright lines with new year.	blob \| commitdiff \| raw \| diff to current
2018-04-19	Arnaud Giersch	Convert last bits from the xbt/config C interface.	blob \| commitdiff \| raw \| diff to current
2018-04-19	Arnaud Giersch	Remove redundant variable.	blob \| commitdiff \| raw \| diff to current
2018-04-18	Arnaud Giersch	Convert MC config parameters to C++ API, and move their...	blob \| commitdiff \| raw \| diff to current
2018-04-18	Arnaud Giersch	Factorize code (and fix message).	blob \| commitdiff \| raw \| diff to current
2018-03-30	Martin Quinson	Merge pull request #259 from simgrid/configfix	blob \| commitdiff \| raw \| diff to current
2018-03-28	Arnaud Giersch	Rename sg_config.h -> sg_config.hpp.	blob \| commitdiff \| raw \| diff to current
2017-11-27	Tom Cornebize	Merge branch 'master' into fix/execute_benched	blob \| commitdiff \| raw \| diff to current
2017-11-23	Takishipp	Merge branch 'actor-yield' of github.com:Takishipp...	blob \| commitdiff \| raw \| diff to current
2017-11-23	Zitagcc	Merge branch 'master' into actor-yield	blob \| commitdiff \| raw \| diff to current
2017-11-05	Martin Quinson	convert src/mc/mc_replay.h into mc_replay.hpp (+ don...	blob \| commitdiff \| raw \| diff to current
2017-11-04	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-11-04	Frederic Suter	stringify (a lot)	blob \| commitdiff \| raw \| diff to current
2017-10-15	Martin Quinson	Merge branch 'actor-startkilltime' of https://github...	blob \| commitdiff \| raw \| diff to current
2017-10-15	Martin Quinson	Merge pull request #228 from Takishipp/actor-execute	blob \| commitdiff \| raw \| diff to current
2017-10-10	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-10-10	Arnaud Giersch	Sort include lists according to clang-format.	blob \| commitdiff \| raw \| diff to current
2017-10-10	Arnaud Giersch	Rename C++ only header files from .h to .hpp.	blob \| commitdiff \| raw \| diff to current
2017-10-04	Arnaud Giersch	Remove useless includes for xbt/str.h.	blob \| commitdiff \| raw \| diff to current
2017-07-04	Martin Quinson	fix non-MC builds	blob \| commitdiff \| raw \| diff to current
2017-05-29	Takishipp	Merge branches 'master' and 'master' of github.com...	blob \| commitdiff \| raw \| diff to current
2017-05-26	Martin Quinson	more than 100 codacy treats, not bad	blob \| commitdiff \| raw \| diff to current
2017-05-26	Martin Quinson	chop, chop, chop includes	blob \| commitdiff \| raw \| diff to current
2017-05-25	Martin Quinson	cut some more includes	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom