Age | Commit message (Expand) | Author | Lines |
---|---|---|---|
2019-09-11 | PTA: Support sleep pseudo-transitions in DFS | Daniel Friesel | -0/+19 |
2019-09-11 | PTA: Use "None" transition for sleep | Daniel Friesel | -2/+2 |
2019-07-26 | support '$' as trace filter terminator | Daniel Friesel | -0/+2 |
2019-07-26 | tests: follow unittest naming scheme | Daniel Friesel | -0/+516 |