Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Use `std::shared_ptr<Transition>` for Execution
[simgrid.git] / src / mc / explo / odpor /
2023-05-16 Maxwell PirtleUse `std::shared_ptr<Transition>` for Execution tree | commitdiff
2023-05-16 Maxwell PirtleAdd ODPOR race detection phase rough-draft tree | commitdiff
2023-05-16 Maxwell PirtleAutomatically remove nodes from parents tree | commitdiff
2023-05-16 Maxwell PirtleAdd tree pruning/subtree methods to State tree | commitdiff
2023-05-16 Maxwell PirtleAdd skeleton for expansion phase of ODPOR tree | commitdiff
2023-05-16 Maxwell PirtleAdd logic for subtree node removal tree | commitdiff
2023-05-16 Maxwell PirtleFinish post-order travesal with WakeupTreeIterator tree | commitdiff
2023-05-16 Maxwell PirtleAdd logic for subtree extraction from wakeup trees tree | commitdiff
2023-05-16 Maxwell PirtleAdd complicated computation of v ~_E w to Execution tree | commitdiff
2023-05-16 Maxwell PirtleAdd skeleton of implementation for tree insertion tree | commitdiff
2023-05-16 Maxwell PirtleAdd WakeupTreeIterator and WakeupTree skeletons tree | commitdiff
2023-05-16 Maxwell PirtleAdd more docmentation for get_first_sdpor_initial() tree | commitdiff
2023-05-15 Maxwell PirtleAdd more documentation to ClockVector/Execution tree | commitdiff
2023-05-15 Maxwell PirtleAdd unit tests for ClockVector tree | commitdiff
2023-05-12 Maxwell PirtleAdd more documentation to essential SDPOR methods tree | commitdiff
2023-05-12 Maxwell PirtleFix subtlety with SDPOR/ODPOR initials tree | commitdiff
2023-05-12 Maxwell PirtleFix two off-by-one errors with clock vectors tree | commitdiff
2023-05-12 Maxwell PirtleAdd workaround for subtlety with state regeneration tree | commitdiff
2023-05-12 Maxwell PirtleAdd first tests for "happens-before" tree | commitdiff
2023-05-12 Maxwell PirtleMove SDPOR core computation into a method tree | commitdiff
2023-05-12 Maxwell PirtleAdd tentatively-working SDPOR implementation tree | commitdiff
2023-05-12 Maxwell PirtleAdd initial outline of SDPOR implementation tree | commitdiff
2023-05-12 Maxwell PirtleAdd Execution concept without ExecutionViews tree | commitdiff
2023-05-12 Maxwell PirtleRemove sdpor folder in favor of odpor only tree | commitdiff
2023-05-12 Maxwell PirtleAdd `Execution` to represent series of transitions tree | commitdiff
Clone of SimGrid repository with local patches