summaryrefslogtreecommitdiff
path: root/bin/generate-dfa-benchmark.py
AgeCommit message (Collapse)AuthorLines
2019-07-26harness/pta-bench: Add initial support for logging of return valuesDaniel Friesel-2/+6
2019-07-25Move trace filter from postprocessing to automata moduleDaniel Friesel-16/+4
This drastically increases performance
2019-07-22implement autogeneration and data aggregation of timing benchmarksDaniel Friesel-82/+153
2019-07-19generate-dfa-benchmark: Add trace filterDaniel Friesel-5/+29
2019-07-18generate-dfa-benchmark: roll your own loopDaniel Friesel-9/+7
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-11-27 09:42:15 +0000