| 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 | |||||
 |
index : uscxml.git | |
| SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua |
| summaryrefslogtreecommitdiffstats |