Age | Commit message (Expand) | Author | Lines |
---|---|---|---|
2019-07-25 | Move trace filter from postprocessing to automata module | Daniel Friesel | -0/+8 |
2019-03-14 | PTA: Add from_yaml tests | Daniel Friesel | -0/+87 |
2019-03-13 | PTA: Support DFS with parameter tracking | Daniel Friesel | -3/+48 |
2019-03-01 | move tests to separate directory | Daniel Friesel | -0/+376 |