Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: move the reversible_race logic to the Transition class
[simgrid.git] / src / mc / transition / TransitionComm.hpp
2023-11-13 Martin QuinsonMC: move the reversible_race logic to the Transition...
2023-07-01 Martin QuinsonDon't send sbuff and rbuff to the MC checker
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p...
2023-06-20 Fred SuterMerge branch 'master' into 'task-token'
2023-06-16 Arnaud GierschMerge branch 'fix-wakeup-tree-iterator' into 'master'
2023-06-16 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-15 Martin QuinsonMC: Give an ID to comms to not use their pointer value...
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-09 Martin QuinsonMerge branch 'udpor-phase8' into 'master'
2023-06-09 Maxwell PirtleAdd ex(C) computation for mutex lock/unlock
2023-06-09 Maxwell PirtleAdd ex(C) example with a small program
2023-06-09 Maxwell PirtleAdd preliminary basic tests for ex(C) computation
2023-01-01 Arnaud GierschUpdate copyright lines for 2023.
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master'
2022-06-27 Arnaud GierschMerge branch 's4u_enforce' into 'master'
2022-06-24 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2022-06-23 Arnaud GierschMissing include (for uintptr_t).
2022-05-10 Arnaud GierschConcatenate nested namespaces (sonar).
2022-02-18 Martin QuinsonSplit TransitionAny and TransitionRandom to their own...