Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Beautified code | Stefan Radomski | 2016-01-10 | 1 | -7/+7 |
* | Prepared ChartToC transformation | Stefan Radomski | 2016-01-06 | 1 | -1/+1 |
* | Various extensions and bug-fixes | Stefan Radomski | 2015-07-05 | 1 | -1/+5 |
* | SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better... | Stefan Radomski | 2014-10-20 | 1 | -0/+79 |