Age | Commit message (Expand) | Author | Lines |
---|---|---|---|
2019-02-18 | automata: Fix dfs | Daniel Friesel | -4/+4 |
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 |