Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
CommDet shall become an extension of the SafetyChecker
[simgrid.git] / src / mc / api /
2022-02-17 Martin QuinsonCommDet shall become an extension of the SafetyChecker tree | commitdiff
2022-02-17 Martin Quinsonmake mc::State extendable so that CommDet does not... tree | commitdiff
2022-02-16 Arnaud GierschAdd basic check for failures in deserialization. tree | commitdiff
2022-02-16 Arnaud GierschBlank lines (codefactor.io). tree | commitdiff
2022-02-14 Martin QuinsonReduce code dupplication to please sonar tree | commitdiff
2022-02-13 Martin QuinsonImplement WaitAnyTransition tree | commitdiff
2022-02-13 Martin Quinsonbetter name tree | commitdiff
2022-02-13 Martin QuinsonSonar fixes tree | commitdiff
2022-02-13 Martin QuinsonFix MC builds with gcc12 (and make the serialization... tree | commitdiff
2022-02-12 Martin QuinsonImplement TestAnyTransition tree | commitdiff
2022-02-12 Martin QuinsonSimplify the serialization protocol to implement TestAn... tree | commitdiff
2022-02-12 Martin Quinsonimplement CommTestTransition tree | commitdiff
2022-02-12 Martin QuinsonMove dot_label() from Observer to Transition (+ some... tree | commitdiff
2022-02-12 Martin QuinsonFix more sonar things tree | commitdiff
2022-02-11 Martin QuinsonFix the depends of iSend/iRecv vs. WaitComm to fix... tree | commitdiff
2022-02-11 Martin QuinsonImplement the RandomTransition tree | commitdiff
2022-02-11 Martin QuinsonMC: one simplification step tree | commitdiff
2022-02-11 Martin QuinsonMake sure that the last stack element is set when an... tree | commitdiff
2022-02-11 Martin QuinsonStart moving classes into the mc/api directory tree | commitdiff
Clone of SimGrid repository with local patches