dfatool - Performance Model Generation for Configurable System Components

Age	Commit message (Expand)	Author	Lines
2019-07-26	harness/pta-bench: Add initial support for logging of return values	Daniel Friesel	-2/+6
2019-07-25	Move trace filter from postprocessing to automata module	Daniel Friesel	-16/+4
2019-07-22	implement autogeneration and data aggregation of timing benchmarks	Daniel Friesel	-82/+153
2019-07-19	generate-dfa-benchmark: Add trace filter	Daniel Friesel	-5/+29
2019-07-18	generate-dfa-benchmark: roll your own loop	Daniel Friesel	-9/+7
2019-03-27	benchmark generation WiP	Daniel Friesel	-15/+32
2019-03-13	WiP	Daniel Friesel	-3/+3
2019-03-12	generate-dfa-benchmark: Support building, flashing, and (partially) logging	Daniel Friesel	-0/+29
2019-03-05	generate-dfa-benchmark: support output to file	Daniel Friesel	-23/+32
2019-03-05	working benchmark generation	Daniel Friesel	-6/+32
2019-03-05	DFA benchmarks: Add missing boilerplate code	Daniel Friesel	-0/+13
2019-03-05	read instance name from PTA/DFA yaml file	Daniel Friesel	-4/+7
2019-03-04	generate PTA from YAML model, support several types of test harness	Daniel Friesel	-10/+19
2019-02-22	add ptalog to dfa benchmark generation	Daniel Friesel	-0/+8
2019-02-21	add support for accepting states	Daniel Friesel	-0/+1
2019-02-21	generate-dfa-benchmark: Add sleep statements, handle interrupts	Daniel Friesel	-4/+15
2019-02-21	add generate-dfa-benchmark: trace-based benchmark generation	Daniel Friesel	-0/+46