Age | Commit message (Collapse) | Author | Lines | |
---|---|---|---|---|
7 days | analyze-trace: keep track of total latency per run | Birte Kristina Friesel | -0/+45 | |
9 days | analyze-trace: warn when encountering unexpected transition destination model | Birte Kristina Friesel | -1/+7 | |
9 days | Featured Automata learner: now with actual guards. whoop whoop! | Birte Kristina Friesel | -2/+45 | |
9 days | anlyze-trace: detect non-deterministic transitions (aka: unhandled loops) | Birte Kristina Friesel | -1/+18 | |
9 days | analyze-trace: store input parameters that belong to transitions | Birte Kristina Friesel | -5/+31 | |
10 days | learn_pta: merge observations of identical run names | Birte Kristina Friesel | -4/+15 | |
10 days | learn_pta: Add transition to final / accepting state | Birte Kristina Friesel | -2/+4 | |
11 days | nalyze-trace: support runs without kernel annotations | Birte Kristina Friesel | -0/+1 | |
11 days | add analyze-trace (wip): predict trace part parameters from benchmark config | Birte Kristina Friesel | -0/+436 | |