| Age | Commit message (Expand) | Author | Lines | 
|---|---|---|---|
| 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 | 
