Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Update copyright lines with new year.
[simgrid.git] / src / mc / checker / Checker.hpp
2019-01-07 Arnaud GierschUpdate copyright lines with new year.
2018-03-30 Martin QuinsonMerge pull request #259 from simgrid/configfix
2018-03-13 Martin QuinsonMerge pull request #256 from Flamefire/master
2018-03-13 Arnaud GierschDefine XBT_PUBLIC without parameter, just like XBT_PRIVATE.
2017-11-27 Tom CornebizeMerge branch 'master' into fix/execute_benched
2017-11-23 TakishippMerge branch 'actor-yield' of github.com:Takishipp...
2017-11-23 ZitagccMerge branch 'master' into actor-yield
2017-10-18 ZitagccMerge branch 'master' into actor-priority
2017-10-16 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-10-16 Arnaud GierschExplicitly use default ctor/dtor.
2017-10-16 Arnaud GierschKill useless empty functions.
2017-10-15 Martin QuinsonMerge branch 'actor-startkilltime' of https://github...
2017-10-15 Martin QuinsonMerge pull request #228 from Takishipp/actor-execute
2017-10-10 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-10-10 Arnaud GierschSort include lists according to clang-format.
2017-10-10 Arnaud GierschRename C++ only header files from .h to .hpp.
2017-06-30 Martin QuinsonMerge pull request #193 from Takishipp/signals
2017-06-19 Martin QuinsonMerge pull request #190 from Takishipp/clean_events
2017-06-17 Martin QuinsonMerge pull request #188 from Takishipp/clean_events
2017-06-15 Martin QuinsonMerge pull request #181 from bcamus/master
2017-06-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2017-06-14 Frederic Suterplease both sonar and codacy
2017-01-14 Martin QuinsonMC: use exceptions to report errors, not integer return...
2017-01-14 Martin Quinsonmove the checker algorithms to their own directory