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