summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorLines
2019-03-14runner: fake peek support in ShellMonitorDaniel Friesel-2/+6
2019-03-14PTA: Add from_yaml testsDaniel Friesel-0/+87
2019-03-14automata: Add missing attributes in PTA.from_yamlDaniel Friesel-2/+18
2019-03-14runner: add missing include for exception handlerDaniel Friesel-0/+1
2019-03-13Add simple per-statement C(++) timing analysis wrapperDaniel Friesel-0/+29
2019-03-13WiPDaniel Friesel-42/+31
2019-03-13PTA: Support DFS with parameter trackingDaniel Friesel-7/+76
2019-03-12generate-dfa-benchmark: Support building, flashing, and (partially) loggingDaniel Friesel-6/+63
2019-03-12harness: Use inheritance for common codeDaniel Friesel-33/+17
2019-03-07runner: documentationDaniel Friesel-14/+73
2019-03-06runner: Add get_monitor, get_counter_limits helpersDaniel Friesel-0/+28
2019-03-05generate-dfa-benchmark: support output to fileDaniel Friesel-23/+32
2019-03-05working benchmark generationDaniel Friesel-25/+51
2019-03-05add serial monitor utilitiesDaniel Friesel-0/+88
2019-03-05DFA benchmarks: Add missing boilerplate codeDaniel Friesel-1/+27
2019-03-05read instance name from PTA/DFA yaml fileDaniel Friesel-5/+14
2019-03-04generate PTA from YAML model, support several types of test harnessDaniel Friesel-10/+121
2019-03-01moar testsDaniel Friesel-1/+5
2019-03-01move tests to separate directoryDaniel Friesel-0/+0
2019-03-01add tests fore accepting states and get_transition_idDaniel Friesel-0/+33
2019-03-01PTA.from_json: Only generate AnalyticFunction if it is setDaniel Friesel-2/+3
2019-02-22add ptalog to dfa benchmark generationDaniel Friesel-0/+11
2019-02-21update from_json / to_jsonDaniel Friesel-2/+3
2019-02-21add support for accepting statesDaniel Friesel-1/+9
2019-02-21dfs: always return tuplesDaniel Friesel-6/+6
2019-02-21generate-dfa-benchmark: Add sleep statements, handle interruptsDaniel Friesel-4/+15
2019-02-21PTA trace: Return transition objects, not just namesDaniel Friesel-16/+25
2019-02-21add generate-dfa-benchmark: trace-based benchmark generationDaniel Friesel-0/+46
2019-02-21PTA: Add argument support in trace generationDaniel Friesel-11/+42
2019-02-21support legacy argument / benchmark test value definitionsDaniel Friesel-3/+10
2019-02-21PTA: Add loader for legacy (dfatool.pl) JSON formatDaniel Friesel-0/+34
2019-02-21automata: .states -> .state (it's a dict)Daniel Friesel-15/+15
2019-02-21automata: Add support for benchmark arguments in DFSDaniel Friesel-10/+26
2019-02-20automata.py: Add documentationDaniel Friesel-4/+119
2019-02-19automata: Add type annotationsDaniel Friesel-77/+80
2019-02-18automata: Fix dfsDaniel Friesel-4/+4
2019-02-14do not print paramstats warning during crossvalidationDaniel Friesel-10/+20
2019-02-14update tests for get_param_lut fallback parameterDaniel Friesel-1/+3
2019-02-14improved cross-validation in analyze-archive; fallback for param_lut_modelDaniel Friesel-18/+44
2019-02-13add generic monte carlo cross validationDaniel Friesel-37/+172
2019-02-11document analyze-archiveDaniel Friesel-0/+58
2019-02-11protocol_benchmarks: Fix ManualJSON list of strings codegenDaniel Friesel-1/+1
2019-02-11derpDaniel Friesel-1/+1
2019-02-11cleanup, dokuDaniel Friesel-4/+38
2019-02-11add int value length (does int fit into 1/2/4 bytes?)Daniel Friesel-1/+17
2019-02-08update documentationDaniel Friesel-63/+92
2019-02-08fix eval-outlier-removal to account for not-so-recent PTAModel.assess changesDaniel Friesel-4/+6
2019-02-08Convert PTAModel to EnergyModel signatureDaniel Friesel-105/+318
2019-02-07AnalyticModel: Calculate by_param from by_nameDaniel Friesel-2/+23
2019-02-07WiPDaniel Friesel-5/+14
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-30 18:03:13 +0000