Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Some more refactoring and VHDL transformation | Stefan Radomski | 2016-02-24 | 1 | -4/+4 |
* | Some refactoring for improved compile times | Stefan Radomski | 2016-02-23 | 1 | -1/+1 |
* | Beautified code | Stefan Radomski | 2016-01-10 | 1 | -2/+2 |
* | Plenty of smaller fixes and adaptations | Stefan Radomski | 2015-01-19 | 1 | -7/+13 |
* | 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 |