AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / checker / Checker.hpp

2021-01-12	Arnaud Giersch	Update copyright lines.	blob \| commitdiff \| raw
2021-01-11	Ehsan Azimi	Merge with framagit/master	blob \| commitdiff \| raw \| diff to current
2021-01-04	Ehsan Azimi	createUdporChecker() defined	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-15	Arnaud Giersch	Redundant blank line.	blob \| commitdiff \| raw \| diff to current
2020-12-11	Martin Quinson	Merge pull request #371 from eazimi/master	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	mc_api::set_checker() defined and called in Checker()	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	createCommunicationDeterminismChecker without Session...	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	createSafetyChecker without Session argument	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	createLivenessChecker without Session argument	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	Session instance removed from Checker class	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	get_session() deleted	blob \| commitdiff \| raw \| diff to current
2020-10-23	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-stoprofiles'	blob \| commitdiff \| raw \| diff to current
2020-04-27	Yann Duplouy	Merge branch 'random_readwritestate' into 'master'	blob \| commitdiff \| raw \| diff to current
2020-04-25	Frederic Suter	namespacing cosmetics	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-10-07	Frederic Suter	Merge branch 'master' into CRTP	blob \| commitdiff \| raw \| diff to current
2019-05-31	Martin Quinson	Merge branch 'tracemgrsplit' into 'master'	blob \| commitdiff \| raw \| diff to current
2019-05-28	Martin Quinson	mc: snake_case the checkers	blob \| commitdiff \| raw \| diff to current
2019-05-26	Martin Quinson	further tidy the includes in MC	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-03-30	Martin Quinson	Merge pull request #259 from simgrid/configfix	blob \| commitdiff \| raw \| diff to current
2018-03-13	Martin Quinson	Merge pull request #256 from Flamefire/master	blob \| commitdiff \| raw \| diff to current
2018-03-13	Arnaud Giersch	Define XBT_PUBLIC without parameter, just like XBT_PRIVATE.	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-10-18	Zitagcc	Merge branch 'master' into actor-priority	blob \| commitdiff \| raw \| diff to current
2017-10-16	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-10-16	Arnaud Giersch	Explicitly use default ctor/dtor.	blob \| commitdiff \| raw \| diff to current
2017-10-16	Arnaud Giersch	Kill useless empty functions.	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-06-30	Martin Quinson	Merge pull request #193 from Takishipp/signals	blob \| commitdiff \| raw \| diff to current
2017-06-19	Martin Quinson	Merge pull request #190 from Takishipp/clean_events	blob \| commitdiff \| raw \| diff to current
2017-06-17	Martin Quinson	Merge pull request #188 from Takishipp/clean_events	blob \| commitdiff \| raw \| diff to current
2017-06-15	Martin Quinson	Merge pull request #181 from bcamus/master	blob \| commitdiff \| raw \| diff to current
2017-06-15	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2017-06-14	Frederic Suter	please both sonar and codacy	blob \| commitdiff \| raw \| diff to current
2017-01-14	Martin Quinson	MC: use exceptions to report errors, not integer return...	blob \| commitdiff \| raw \| diff to current
2017-01-14	Martin Quinson	move the checker algorithms to their own directory	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom