Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Plenty of smaller fixes and adaptations | Stefan Radomski | 2015-01-19 | 2 | -9/+17 | |
| | ||||||
* | Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodel | Stefan Radomski | 2014-12-26 | 4 | -6/+78 | |
| | ||||||
* | Renamed URI to URL | Stefan Radomski | 2014-12-14 | 20 | -190/+163 | |
| | | | | Some fixes for Xincludes | |||||
* | 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 ↵ | Stefan Radomski | 2014-10-20 | 5 | -1/+264 | |
| | | | | better memory footprint | |||||
* | 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 | |
| | | | | | | | - 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 | |||||
* | 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 | |
| | | | | | | - Used IWYU to reorganize headers - Dropped PHP support - Updated tests | |||||
* | Work on bindings | Stefan Radomski | 2014-06-25 | 14 | -11/+93 | |
| | | | | | | - Introduced exceptions into C# and Java - Moved binding examples to /embedding - Interpreter will now throw exceptions, beware! | |||||
* | 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 | |
- Moved tests - Changes to promela datamodel - Implemented Trie |