Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Don't send sbuff and rbuff to the MC checker
[simgrid.git] / src / mc / explo / udpor / ExtensionSet_test.cpp
2023-07-01 Martin QuinsonDon't send sbuff and rbuff to the MC checker
2023-06-29 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-28 Arnaud GierschRemove nested code blocks (Sonar).
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p...
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) example with a small program
2023-06-09 Maxwell PirtleExpand sanity-check tests for CommSend/CommRecv transitions
2023-06-09 Maxwell PirtleAdd preliminary basic tests for ex(C) computation