Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: kill model-check/ksm option. Was not activated because not very useful
[simgrid.git] / src / mc / mc_config.hpp
2019-05-16 Martin Quinsonmc: kill model-check/ksm option. Was not activated...
2019-05-15 Martin QuinsonRemove option 'model-check/record': paths are recorded...
2019-05-03 Arnaud GierschKill never implemented option "model-check/snapshot_fds".
2019-01-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2019-01-07 Arnaud GierschUpdate copyright lines with new year.
2018-04-19 Arnaud GierschRemove redundant variable.
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-04-18 Arnaud GierschCreate mc_config.hpp for MC's configuration stuff.