summaryrefslogtreecommitdiff
path: root/bin/analyze-trace.py
AgeCommit message (Collapse)AuthorLines
2025-05-21anlyze-trace: detect non-deterministic transitions (aka: unhandled loops)Birte Kristina Friesel-1/+18
2025-05-21analyze-trace: store input parameters that belong to transitionsBirte Kristina Friesel-5/+31
2025-05-21learn_pta: merge observations of identical run namesBirte Kristina Friesel-4/+15
2025-05-21learn_pta: Add transition to final / accepting stateBirte Kristina Friesel-2/+4
2025-05-20nalyze-trace: support runs without kernel annotationsBirte Kristina Friesel-0/+1
2025-05-20add analyze-trace (wip): predict trace part parameters from benchmark configBirte Kristina Friesel-0/+436