Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | More work on PROMELA transformation | Stefan Radomski | 2014-11-12 | 1 | -3/+20 |
* | SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better... | Stefan Radomski | 2014-10-20 | 1 | -0/+7 |
* | Major work on PROMELA datamodel | Stefan Radomski | 2014-10-12 | 1 | -21/+46 |
* | Identify InterpreterIssues at runtime | Stefan Radomski | 2014-08-26 | 1 | -12/+34 |
* | Reformatted w3c tests with xmllint | Stefan Radomski | 2014-08-11 | 1 | -3/+15 |
* | Catch std::exception before ... and output e.what() | Stefan Radomski | 2014-08-05 | 1 | -17/+22 |
* | Beautified flattened state-machine ids | Stefan Radomski | 2014-08-04 | 1 | -83/+121 |
* | See detailled log | Stefan Radomski | 2014-07-30 | 1 | -0/+155 |