Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add tests before changes to WakeupTree structure
[simgrid.git] / src / mc / explo / odpor / WakeupTree.cpp
2023-05-16 Maxwell PirtleAdd tests before changes to WakeupTree structure
2023-05-16 Maxwell PirtleAdd ODPOR "backtracking" logic
2023-05-16 Maxwell PirtleAutomatically remove nodes from parents
2023-05-16 Maxwell PirtleAdd tree pruning/subtree methods to State
2023-05-16 Maxwell PirtleAdd skeleton for expansion phase of ODPOR
2023-05-16 Maxwell PirtleAdd logic for subtree node removal
2023-05-16 Maxwell PirtleAdd logic for subtree extraction from wakeup trees
2023-05-16 Maxwell PirtleAdd complicated computation of v ~_E w to Execution
2023-05-16 Maxwell PirtleAdd skeleton of implementation for tree insertion
2023-05-16 Maxwell PirtleAdd WakeupTreeIterator and WakeupTree skeletons
2023-05-12 Maxwell PirtleAdd `Execution` to represent series of transitions