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 (
Expand
)
Author
Lines
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
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
2019-02-18
automata: Fix dfs
Daniel Friesel
-4
/
+4
2018-05-07
Add support for PTA to JSON serialization
Daniel Friesel
-2
/
+52
2018-04-26
Support compact PTA json with multiple origin states per transition
Daniel Friesel
-17
/
+14
2018-04-26
refactor function code into separate file to solve circular import
Daniel Friesel
-1
/
+1
2018-04-25
PTA: Support unconditional param setters (e.g. initialization functions)
Daniel Friesel
-5
/
+15
2018-04-24
Support PTA construction from json
Daniel Friesel
-2
/
+36
2018-04-24
Support arg_to_param_map (dict instead of function)
Daniel Friesel
-3
/
+4
2018-04-24
PTA: Use parameter dictionary internally
Daniel Friesel
-22
/
+54
2018-04-23
add automata simulation code and parameter support
Daniel Friesel
-11
/
+100
2018-04-19
Implement PTA DFS as generator
Daniel Friesel
-9
/
+8
2018-04-19
Add simple PTA implementation with DFS
Daniel Friesel
-0
/
+45