Age | Commit message (Collapse) | Author | Lines | |
---|---|---|---|---|
2019-09-11 | PTA: Use "None" transition for sleep | Daniel Friesel | -2/+2 | |
This way, PTA models can have sleep transitions without conflict | ||||
2019-07-26 | support '$' as trace filter terminator | Daniel Friesel | -0/+2 | |
2019-07-26 | tests: follow unittest naming scheme | Daniel Friesel | -0/+516 | |