index
:
dfatool
decisiontrees
feature/lennart/get_files_array
kconfig-modeling
lennart
main
master
merge-prep/janis
merge-prep/lennart
state-duration-timers
Performance Model Generation for Configurable System Components
derf
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
automata.py
Age
Commit message (
Collapse
)
Author
Lines
2019-12-10
make analyze-archive --export work without --hwmodel
Daniel Friesel
-13
/
+21
2019-11-27
PTA: Add breadth-first search
Daniel Friesel
-2
/
+41
2019-11-26
automata: fix from_json attribute readout in transitions
Daniel Friesel
-1
/
+1
2019-11-26
autopep8
Daniel Friesel
-2
/
+2
2019-11-26
PTA: Calculate min/max duration until energy accounting overflow
Daniel Friesel
-10
/
+71
2019-11-25
PTA: also supports non-accepting states
Daniel Friesel
-1
/
+1
2019-11-21
flake8
Daniel Friesel
-78
/
+86
2019-10-15
documentation
Daniel Friesel
-18
/
+38
2019-10-15
PTA: Add from_file constructor
Daniel Friesel
-0
/
+12
2019-09-26
Use individuel MIMOSA log files per repetition; documentation
Daniel Friesel
-24
/
+62
2019-09-25
PTA: Add shrink_argument_values function
Daniel Friesel
-0
/
+26
2019-09-25
Transition: fix arg_to_param_map semantics
Daniel Friesel
-2
/
+2
2019-09-25
PTA: handle None in parameter value normalization
Daniel Friesel
-6
/
+10
2019-09-25
PTA: Add support for loop transitions in YAML
Daniel Friesel
-9
/
+16
2019-09-17
automata: Add missing transitions to to_json
Daniel Friesel
-1
/
+11
2019-09-12
pta.simulate: Add accounting via SimulatedAccountingMethod
Daniel Friesel
-4
/
+14
2019-09-12
PTA: Always use integer energy data
Daniel Friesel
-2
/
+2
2019-09-11
PTA: Support sleep pseudo-transitions in DFS
Daniel Friesel
-17
/
+38
2019-09-11
PTA: Use "None" transition for sleep
Daniel Friesel
-3
/
+17
This way, PTA models can have sleep transitions without conflict
2019-09-09
add more static accounting methods
Daniel Friesel
-0
/
+27
2019-09-06
automata: Supprt setting random energy model for benchmarks
Daniel Friesel
-0
/
+12
2019-09-02
Add basic auto-generated energy accounting code for online model eval
Daniel Friesel
-0
/
+8
2019-08-14
add support for a posteriori parameters (e.g. TX success / retry count)
Daniel Friesel
-1
/
+10
2019-07-26
harness/pta-bench: Add initial support for logging of return values
Daniel Friesel
-2
/
+9
2019-07-26
support '$' as trace filter terminator
Daniel Friesel
-1
/
+4
2019-07-26
add parameter normalization support to YAML DFA models
Daniel Friesel
-1
/
+4
2019-07-25
PTA: Add support for parameter normalization during code generation
Daniel Friesel
-2
/
+19
2019-07-25
Move trace filter from postprocessing to automata module
Daniel Friesel
-2
/
+16
This drastically increases performance
2019-07-24
pylint
Daniel Friesel
-1
/
+0
2019-07-22
automata: Clarify parameter contents in DFS traces
Daniel Friesel
-2
/
+16
2019-07-22
automata: Add set_param support in YAML files
Daniel Friesel
-0
/
+2
2019-03-14
automata: Add missing attributes in PTA.from_yaml
Daniel Friesel
-2
/
+18
2019-03-13
PTA: Support DFS with parameter tracking
Daniel Friesel
-4
/
+28
2019-03-05
working benchmark generation
Daniel Friesel
-8
/
+4
2019-03-05
DFA benchmarks: Add missing boilerplate code
Daniel Friesel
-1
/
+6
2019-03-05
read instance name from PTA/DFA yaml file
Daniel Friesel
-1
/
+7
2019-03-04
generate PTA from YAML model, support several types of test harness
Daniel Friesel
-0
/
+32
2019-03-01
PTA.from_json: Only generate AnalyticFunction if it is set
Daniel Friesel
-2
/
+3
2019-02-22
add ptalog to dfa benchmark generation
Daniel Friesel
-0
/
+3
2019-02-21
update from_json / to_json
Daniel Friesel
-2
/
+3
2019-02-21
add support for accepting states
Daniel Friesel
-1
/
+8
2019-02-21
dfs: always return tuples
Daniel Friesel
-2
/
+2
2019-02-21
PTA trace: Return transition objects, not just names
Daniel Friesel
-7
/
+11
2019-02-21
PTA: Add argument support in trace generation
Daniel Friesel
-11
/
+29
2019-02-21
support legacy argument / benchmark test value definitions
Daniel Friesel
-3
/
+10
2019-02-21
PTA: Add loader for legacy (dfatool.pl) JSON format
Daniel Friesel
-0
/
+34
2019-02-21
automata: .states -> .state (it's a dict)
Daniel Friesel
-10
/
+10
2019-02-21
automata: Add support for benchmark arguments in DFS
Daniel Friesel
-10
/
+26
2019-02-20
automata.py: Add documentation
Daniel Friesel
-4
/
+119
2019-02-19
automata: Add type annotations
Daniel Friesel
-77
/
+80
[next]