summaryrefslogtreecommitdiff
path: root/bin/generate-dfa-benchmark.py
AgeCommit message (Expand)AuthorLines
2019-09-19harness / generate-dfa-benchmark: terminate logging after reaching repeat countDaniel Friesel-13/+28
2019-09-18mostly working mimosa benchmarks. to do: load and parse dataDaniel Friesel-7/+25
2019-09-18restore generate-dfa-benchmarkDaniel Friesel-0/+21
2019-09-11add simulation classes for online energy accounting inaccuraciesDaniel Friesel-21/+6
2019-09-11generate-dfa-benchmark: Do not harcode codegen methodDaniel Friesel-1/+12
2019-09-06Add static state-only online accounting with immediate energy calculationDaniel Friesel-2/+5
2019-09-02Add basic auto-generated energy accounting code for online model evalDaniel Friesel-2/+3
2019-08-30add dummy driver support to generate-dfa-benchmarkDaniel Friesel-7/+29
2019-08-15Fix generate-dfa-benchmark leaving out benchmark parts when splitting runsDaniel Friesel-3/+4
2019-08-14add support for a posteriori parameters (e.g. TX success / retry count)Daniel Friesel-3/+0
2019-08-14generate-dfa-benchmark: Ensure that individual parameter hashes are distinctDaniel Friesel-1/+1
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
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-26 07:53:41 +0000