Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of framagit.org:simgrid/simgrid
[simgrid.git] / src / mc / explo / odpor / Execution_test.cpp
2023-06-28 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p...
2023-06-27 Arnaud GierschRespect coding style for boolean operators.
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/mwapl...
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-05 Martin QuinsonMerge branch 'rename-operation-task' into 'master'
2023-06-05 Martin QuinsonMerge branch 'odpor-implementation' into 'master'
2023-05-31 Maxwell PirtleAdd SDPOR backtracking simulation unit test
2023-05-31 Maxwell PirtleAdd more independence tests w.r.t a partial execution
2023-05-30 Maxwell PirtleFix subtle bug in ~_E computation
2023-05-26 Maxwell PirtleResolve misconception with SDPOR pseudocode impl.
2023-05-23 Maxwell PirtleAdd tests for initials and independence for Execution
2023-05-23 Maxwell PirtleAdd first round of execution independence tests
2023-05-16 Maxwell PirtleAdd tests before changes to WakeupTree structure
2023-05-16 Maxwell PirtleAdd test files for WakeupTree
2023-05-16 Maxwell PirtleAdd more docmentation for get_first_sdpor_initial()
2023-05-12 Maxwell PirtleAdd more documentation to essential SDPOR methods
2023-05-12 Maxwell PirtleFix two off-by-one errors with clock vectors
2023-05-12 Maxwell PirtleAdd workaround for subtlety with state regeneration
2023-05-12 Maxwell PirtleAdd first tests for "happens-before"