| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-05-22 | analyze-trace: warn when encountering unexpected transition destination model | Birte Kristina Friesel | -1/+7 |
| 2025-05-22 | Featured Automata learner: now with actual guards. whoop whoop! | Birte Kristina Friesel | -2/+45 |
| 2025-05-21 | anlyze-trace: detect non-deterministic transitions (aka: unhandled loops) | Birte Kristina Friesel | -1/+18 |
| 2025-05-21 | analyze-trace: store input parameters that belong to transitions | Birte Kristina Friesel | -5/+31 |
| 2025-05-21 | learn_pta: merge observations of identical run names | Birte Kristina Friesel | -4/+15 |
| 2025-05-21 | learn_pta: Add transition to final / accepting state | Birte Kristina Friesel | -2/+4 |
| 2025-05-20 | nalyze-trace: support runs without kernel annotations | Birte Kristina Friesel | -0/+1 |
| 2025-05-20 | add analyze-trace (wip): predict trace part parameters from benchmark config | Birte Kristina Friesel | -0/+436 |
 |
index : dfatool | |
| Performance Model Generation for Configurable System Components | derf |
| summaryrefslogtreecommitdiff |