Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of https://framagit.org/simgrid/simgrid
[simgrid.git] / src / mc / api / State.hpp
2022-02-19 Martin QuinsonMC: the state does not need to have the simcall anymore
2022-02-18 Martin QuinsonSplit TransitionAny and TransitionRandom to their own...
2022-02-17 Martin QuinsonCommDet shall become an extension of the SafetyChecker
2022-02-17 Martin Quinsonmake mc::State extendable so that CommDet does not...
2022-02-11 Martin QuinsonMake sure that the last stack element is set when an...
2022-02-11 Martin QuinsonStart moving classes into the mc/api directory