Age | Commit message (Collapse) | Author | Lines | |
---|---|---|---|---|
2019-07-25 | Move trace filter from postprocessing to automata module | Daniel Friesel | -0/+8 | |
This drastically increases performance | ||||
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 | |