Age | Commit message (Expand) | Author | Lines |
---|---|---|---|
13 days | anlyze-trace: detect non-deterministic transitions (aka: unhandled loops) | Birte Kristina Friesel | -1/+18 |
13 days | analyze-trace: store input parameters that belong to transitions | Birte Kristina Friesel | -5/+31 |
13 days | learn_pta: merge observations of identical run names | Birte Kristina Friesel | -4/+15 |
13 days | learn_pta: Add transition to final / accepting state | Birte Kristina Friesel | -2/+4 |
14 days | nalyze-trace: support runs without kernel annotations | Birte Kristina Friesel | -0/+1 |
14 days | add analyze-trace (wip): predict trace part parameters from benchmark config | Birte Kristina Friesel | -0/+436 |