dfatool - Performance Model Generation for Configurable System Components

Age	Commit message (Expand)	Author	Lines
2019-03-01	move tests to separate directory	Daniel Friesel	-376/+0
2019-03-01	add tests fore accepting states and get_transition_id	Daniel Friesel	-0/+33
2019-02-21	dfs: always return tuples	Daniel Friesel	-4/+4
2019-02-21	PTA trace: Return transition objects, not just names	Daniel Friesel	-9/+14
2019-02-21	PTA: Add argument support in trace generation	Daniel Friesel	-0/+13
2019-02-21	automata: .states -> .state (it's a dict)	Daniel Friesel	-5/+5
2018-04-26	Support compact PTA json with multiple origin states per transition	Daniel Friesel	-7/+8
2018-04-25	PTA: Support unconditional param setters (e.g. initialization functions)	Daniel Friesel	-0/+23
2018-04-24	Support PTA construction from json	Daniel Friesel	-84/+96
2018-04-24	Support arg_to_param_map (dict instead of function)	Daniel Friesel	-1/+25
2018-04-24	PTA: Use parameter dictionary internally	Daniel Friesel	-0/+265