| Age | Commit message (Collapse) | 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 | |
 |
index : dfatool | |
| Performance Model Generation for Configurable System Components | derf |
| summaryrefslogtreecommitdiff |