dfatool - Performance Model Generation for Configurable System Components

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