Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Worked on PROMELA transformation | Stefan Radomski | 2016-10-25 | 196 | -1/+6676 |
| | |||||
* | More work on ANSI C datamodel | Stefan Radomski | 2016-07-11 | 238 | -5/+8068 |
| | |||||
* | First signs of a C89 datamodel | Stefan Radomski | 2016-06-23 | 2 | -0/+754 |
| | |||||
* | Fixed dozens of memory leaks | Stefan Radomski | 2016-06-13 | 1 | -0/+0 |
| | |||||
* | Minor polishing for Java bindings and first draft of JEXL datamodel | Stefan Radomski | 2016-05-26 | 197 | -13/+7490 |
| | |||||
* | Make install will work again | Stefan Radomski | 2016-05-13 | 1 | -0/+1 |
| | |||||
* | Major Refactoring v2.0 | Stefan Radomski | 2016-05-12 | 1067 | -26070/+13797 |
| | |||||
* | Fixed a typo and added a test for issue 56legacy-1.0 | Stefan Radomski | 2016-05-09 | 1 | -2/+11 |
| | |||||
* | Some more refactoring and VHDL transformation | Stefan Radomski | 2016-02-24 | 1 | -7/+21 |
| | |||||
* | Created compound IRP test for performance measurements | Stefan Radomski | 2016-02-08 | 2 | -0/+6216 |
| | |||||
* | Invokers with generated C | Stefan Radomski | 2016-02-04 | 1 | -1/+1 |
| | |||||
* | Prepared the C transformation as a VHDL base class | Stefan Radomski | 2016-01-29 | 1 | -29/+29 |
| | |||||
* | Actually generate ANSI C code in uscxml-transform | Stefan Radomski | 2016-01-28 | 2 | -35/+35 |
| | |||||
* | Fixed a memory leak in transformed C scaffolding | Stefan Radomski | 2016-01-18 | 1 | -3/+20 |
| | |||||
* | Prepared VHDL transformation tests | Stefan Radomski | 2016-01-15 | 1 | -1/+6 |
| | |||||
* | Working on C transformation | Stefan Radomski | 2016-01-15 | 3 | -53/+123 |
| | |||||
* | Fixed compilation for gcc on Linux again | Stefan Radomski | 2016-01-08 | 1 | -0/+4 |
| | |||||
* | Prepared ChartToC transformation | Stefan Radomski | 2016-01-06 | 1 | -0/+47 |
| | |||||
* | All changes up to my dissertation | Stefan Radomski | 2015-12-04 | 31 | -93/+3090 |
| | |||||
* | done.event bug and prolog tests | Stefan Radomski | 2015-07-08 | 198 | -40/+7496 |
| | | | | Fixed the done.event bug and added first prolog transformed IRP tests | ||||
* | Various extensions and bug-fixes | Stefan Radomski | 2015-07-05 | 2 | -7/+64 |
| | |||||
* | 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 |