Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Resolve misconception with SDPOR pseudocode impl.
[simgrid.git] / src / mc / explo / odpor / Execution_test.cpp
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"