summaryrefslogtreecommitdiff
path: root/bin/analyze-trace.py
AgeCommit message (Expand)AuthorLines
5 daysanalyze-trace --export-json: Include static/LUT/model error metricsBirte Kristina Friesel-1/+5
9 daysanalyze-trace: Use annotation.end.param, not .start.paramBirte Kristina Friesel-11/+16
9 daysanalyze-trace: detect loops and iteration counts (those are deterministic)Birte Kristina Friesel-11/+46
9 daysanalyze-trace: keep track of total latency per runBirte Kristina Friesel-0/+45
10 daysanalyze-trace: warn when encountering unexpected transition destination modelBirte Kristina Friesel-1/+7
10 daysFeatured Automata learner: now with actual guards. whoop whoop!Birte Kristina Friesel-2/+45
11 daysanlyze-trace: detect non-deterministic transitions (aka: unhandled loops)Birte Kristina Friesel-1/+18
11 daysanalyze-trace: store input parameters that belong to transitionsBirte Kristina Friesel-5/+31
11 dayslearn_pta: merge observations of identical run namesBirte Kristina Friesel-4/+15
11 dayslearn_pta: Add transition to final / accepting stateBirte Kristina Friesel-2/+4
12 daysnalyze-trace: support runs without kernel annotationsBirte Kristina Friesel-0/+1
12 daysadd analyze-trace (wip): predict trace part parameters from benchmark configBirte Kristina Friesel-0/+436