dfatool - Performance Model Generation for Configurable System Components

Age	Commit message (Expand)	Author	Lines
8 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
9 days	analyze-trace: store input parameters that belong to transitions	Birte Kristina Friesel	-5/+31
9 days	learn_pta: merge observations of identical run names	Birte Kristina Friesel	-4/+15
9 days	learn_pta: Add transition to final / accepting state	Birte Kristina Friesel	-2/+4
10 days	nalyze-trace: support runs without kernel annotations	Birte Kristina Friesel	-0/+1
10 days	add analyze-trace (wip): predict trace part parameters from benchmark config	Birte Kristina Friesel	-0/+436