summaryrefslogtreecommitdiff
path: root/lib/automata.py
AgeCommit message (Collapse)AuthorLines
2019-12-10make analyze-archive --export work without --hwmodelDaniel Friesel-13/+21
2019-11-27PTA: Add breadth-first searchDaniel Friesel-2/+41
2019-11-26automata: fix from_json attribute readout in transitionsDaniel Friesel-1/+1
2019-11-26autopep8Daniel Friesel-2/+2
2019-11-26PTA: Calculate min/max duration until energy accounting overflowDaniel Friesel-10/+71
2019-11-25PTA: also supports non-accepting statesDaniel Friesel-1/+1
2019-11-21flake8Daniel Friesel-78/+86
2019-10-15documentationDaniel Friesel-18/+38
2019-10-15PTA: Add from_file constructorDaniel Friesel-0/+12
2019-09-26Use individuel MIMOSA log files per repetition; documentationDaniel Friesel-24/+62
2019-09-25PTA: Add shrink_argument_values functionDaniel Friesel-0/+26
2019-09-25Transition: fix arg_to_param_map semanticsDaniel Friesel-2/+2
2019-09-25PTA: handle None in parameter value normalizationDaniel Friesel-6/+10
2019-09-25PTA: Add support for loop transitions in YAMLDaniel Friesel-9/+16
2019-09-17automata: Add missing transitions to to_jsonDaniel Friesel-1/+11
2019-09-12pta.simulate: Add accounting via SimulatedAccountingMethodDaniel Friesel-4/+14
2019-09-12PTA: Always use integer energy dataDaniel Friesel-2/+2
2019-09-11PTA: Support sleep pseudo-transitions in DFSDaniel Friesel-17/+38
2019-09-11PTA: Use "None" transition for sleepDaniel Friesel-3/+17
This way, PTA models can have sleep transitions without conflict
2019-09-09add more static accounting methodsDaniel Friesel-0/+27
2019-09-06automata: Supprt setting random energy model for benchmarksDaniel Friesel-0/+12
2019-09-02Add basic auto-generated energy accounting code for online model evalDaniel Friesel-0/+8
2019-08-14add support for a posteriori parameters (e.g. TX success / retry count)Daniel Friesel-1/+10
2019-07-26harness/pta-bench: Add initial support for logging of return valuesDaniel Friesel-2/+9
2019-07-26support '$' as trace filter terminatorDaniel Friesel-1/+4
2019-07-26add parameter normalization support to YAML DFA modelsDaniel Friesel-1/+4
2019-07-25PTA: Add support for parameter normalization during code generationDaniel Friesel-2/+19
2019-07-25Move trace filter from postprocessing to automata moduleDaniel Friesel-2/+16
This drastically increases performance
2019-07-24pylintDaniel Friesel-1/+0
2019-07-22automata: Clarify parameter contents in DFS tracesDaniel Friesel-2/+16
2019-07-22automata: Add set_param support in YAML filesDaniel Friesel-0/+2
2019-03-14automata: Add missing attributes in PTA.from_yamlDaniel Friesel-2/+18
2019-03-13PTA: Support DFS with parameter trackingDaniel Friesel-4/+28
2019-03-05working benchmark generationDaniel Friesel-8/+4
2019-03-05DFA benchmarks: Add missing boilerplate codeDaniel Friesel-1/+6
2019-03-05read instance name from PTA/DFA yaml fileDaniel Friesel-1/+7
2019-03-04generate PTA from YAML model, support several types of test harnessDaniel Friesel-0/+32
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/+3
2019-02-21update from_json / to_jsonDaniel Friesel-2/+3
2019-02-21add support for accepting statesDaniel Friesel-1/+8
2019-02-21dfs: always return tuplesDaniel Friesel-2/+2
2019-02-21PTA trace: Return transition objects, not just namesDaniel Friesel-7/+11
2019-02-21PTA: Add argument support in trace generationDaniel Friesel-11/+29
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-10/+10
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