Age | Commit message (Collapse) | Author | Lines | |
---|---|---|---|---|
2019-09-25 | PTA: Add shrink_argument_values function | Daniel Friesel | -0/+106 | |
2019-09-25 | Transition: fix arg_to_param_map semantics | Daniel Friesel | -3/+3 | |
2019-09-25 | PTA: handle None in parameter value normalization | Daniel Friesel | -0/+88 | |
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 | |
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 | |