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