dfatool - Performance Model Generation for Configurable System Components

Age	Commit message (Expand)	Author	Lines
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