| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 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 | |
 |
index : dfatool | |
| Performance Model Generation for Configurable System Components | derf |
| summaryrefslogtreecommitdiff |