Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add SDPOR backtracking simulation unit test
[simgrid.git] / src / mc / explo / odpor / Execution_test.cpp
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"