Commit message (Collapse) | 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 ↵ | Stefan Radomski | 2014-10-20 | 1 | -0/+7 |
| | | | | better memory footprint | ||||
* | 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 |
- Forcing Data.Type for Data(String) constructor now, default used to be INTERPRETED. - setDataModel and addIOProcessor on interpreter now - fixed a bug with Data(bool) constructor - various smaller fixes |