dfatool - Performance Model Generation for Configurable System Components

Age	Commit message (Expand)	Author	Lines
2019-08-15	Fix generate-dfa-benchmark leaving out benchmark parts when splitting runs	Daniel Friesel	-3/+4
2019-08-14	add support for a posteriori parameters (e.g. TX success / retry count)	Daniel Friesel	-3/+0
2019-08-14	generate-dfa-benchmark: Ensure that individual parameter hashes are distinct	Daniel Friesel	-1/+1
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