Age | Commit message (Collapse) | Author | Lines | |
---|---|---|---|---|
2017-04-21 | preparations for trace evaluation | Daniel Friesel | -92/+99 | |
2017-04-13 | allow --trace-filter with trailing $ ("no more transitions after this") | Daniel Friesel | -0/+4 | |
2017-04-03 | initial commit | Daniel Friesel | -0/+251 | |