Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Major Refactoring v2.0 | Stefan Radomski | 2016-05-12 | 1 | -287/+0 |
| | |||||
* | 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 ↵ | 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 |