dfatool - Performance Model Generation for Configurable System Components

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