Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'github/master'
[simgrid.git] / src / mc / checker / simgrid_mc.cpp
2019-06-14 Arnaud GierschMerge remote-tracking branch 'github/master'
2019-06-11 Martin Quinsonmc: don't catch exceptions we cannot deal with
2019-06-10 Martin Quinsoncode simplification in MC start sequence
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master'
2019-05-26 Martin Quinsonfurther tidy the includes in MC
2019-05-03 Arnaud Giersch[sonar] Don't name unused exceptions.
2019-02-02 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-02-01 Martin Quinsontidy some #includes in MC
2019-01-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2019-01-07 Arnaud GierschUpdate copyright lines with new year.
2018-04-18 Arnaud GierschConvert MC config parameters to C++ API, and move their...
2018-04-18 Arnaud GierschClean up duplicated declarations for mc_config variables.
2018-03-30 Martin QuinsonMerge pull request #259 from simgrid/configfix
2018-03-28 Arnaud GierschRename sg_config.h -> sg_config.hpp.
2018-01-09 Arnaud GierschRemove XBT_LOG_CONNECT, it should be useless nowadays.
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-11-04 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-11-04 Frederic Suterstringify (a lot)
2017-10-18 ZitagccMerge branch 'master' into actor-priority
2017-10-16 Arnaud GierschReplace some more malloc/free.
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 GierschRename C++ only header files from .h to .hpp.
2017-07-24 Martin QuinsonMerge pull request #202 from Takishipp/clear_fct
2017-07-20 Arnaud GierschAdd missing calls to XBT_LOG_CONNECT.
2017-07-17 Martin QuinsonMerge pull request #200 from Takishipp/clear_fct
2017-07-16 Martin Quinsonthis is a hpp header
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com...
2017-05-26 Martin Quinsonmore than 100 codacy treats, not bad
2017-01-16 Martin Quinsoncontinue to split the source code of MC. Split remoting
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