summaryrefslogtreecommitdiff
path: root/bin/generate-dfa-benchmark.py
AgeCommit message (Collapse)AuthorLines
2019-03-27benchmark generation WiPDaniel Friesel-15/+32
2019-03-13WiPDaniel Friesel-3/+3
2019-03-12generate-dfa-benchmark: Support building, flashing, and (partially) loggingDaniel Friesel-0/+29
2019-03-05generate-dfa-benchmark: support output to fileDaniel Friesel-23/+32
2019-03-05working benchmark generationDaniel Friesel-6/+32
2019-03-05DFA benchmarks: Add missing boilerplate codeDaniel Friesel-0/+13
2019-03-05read instance name from PTA/DFA yaml fileDaniel Friesel-4/+7
2019-03-04generate PTA from YAML model, support several types of test harnessDaniel Friesel-10/+19
2019-02-22add ptalog to dfa benchmark generationDaniel Friesel-0/+8
2019-02-21add support for accepting statesDaniel Friesel-0/+1
2019-02-21generate-dfa-benchmark: Add sleep statements, handle interruptsDaniel Friesel-4/+15
2019-02-21add generate-dfa-benchmark: trace-based benchmark generationDaniel Friesel-0/+46
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-23 21:49:28 +0000