summaryrefslogtreecommitdiff
path: root/bin/analyze-trace.py
AgeCommit message (Collapse)AuthorLines
11 daysanalyze-trace --export-json: Include static/LUT/model error metricsBirte Kristina Friesel-1/+5
2025-05-23analyze-trace: Use annotation.end.param, not .start.paramBirte Kristina Friesel-11/+16
Fixes PrIM BFS and possibly more, where the problem size is not yet known when the benchmark starts calling SDK functions
2025-05-23analyze-trace: detect loops and iteration counts (those are deterministic)Birte Kristina Friesel-11/+46
2025-05-23analyze-trace: keep track of total latency per runBirte Kristina Friesel-0/+45
2025-05-22analyze-trace: warn when encountering unexpected transition destination modelBirte Kristina Friesel-1/+7
2025-05-22Featured Automata learner: now with actual guards. whoop whoop!Birte Kristina Friesel-2/+45
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