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