Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Support for initial attribute with nested scxml invokers | Stefan Radomski | 2014-12-05 | 3 | -2/+6 |
* | Nested invokers and delayed events for PROMELA model checking | Stefan Radomski | 2014-12-01 | 75 | -182/+218 |
* | More work on PROMELA transformation | Stefan Radomski | 2014-11-12 | 4 | -27/+1698 |
* | Optimized Promela generation | Stefan Radomski | 2014-10-21 | 4 | -96/+15 |
* | SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better... | Stefan Radomski | 2014-10-20 | 5 | -1/+264 |
* | Passing all tests but xpath and lua | Stefan Radomski | 2014-10-12 | 16 | -56/+61 |
* | Major work on PROMELA datamodel | Stefan Radomski | 2014-10-12 | 202 | -171/+7545 |
* | Create default timeouts for tests and adapt in test-w3c via DOM | Stefan Radomski | 2014-08-28 | 18 | -32/+31 |
* | Reformatted w3c tests with xmllint | Stefan Radomski | 2014-08-11 | 430 | -11828/+13530 |
* | See detailled log | Stefan Radomski | 2014-07-30 | 17 | -20/+20 |
* | More work on lua datamodel | Stefan Radomski | 2014-07-23 | 37 | -715/+14 |
* | Improved support for dot output | Stefan Radomski | 2014-07-15 | 1 | -1/+1 |
* | First signs of Lua Datamodel | Stefan Radomski | 2014-07-08 | 243 | -0/+6261 |
* | Removed w3c ecma tests from xpath and vice versa | Stefan Radomski | 2014-07-03 | 56 | -1212/+13 |
* | Introduced isLocation for datamodels to check for valid namelist entries | Stefan Radomski | 2014-07-03 | 2 | -3/+3 |
* | Got ready for cmake3 and some minor fixes | Stefan Radomski | 2014-07-03 | 20 | -32/+65 |
* | More polishing for bindings C# and Java | Stefan Radomski | 2014-07-01 | 48 | -76/+96 |
* | Major header movement | Stefan Radomski | 2014-06-27 | 20 | -207/+74 |
* | Work on bindings | Stefan Radomski | 2014-06-25 | 14 | -11/+93 |
* | Updated tests for IRP and work on bindings | Stefan Radomski | 2014-06-23 | 78 | -133/+827 |
* | Major refactoring | Stefan Radomski | 2014-04-22 | 713 | -0/+23476 |