Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Some more refactoring and VHDL transformation | Stefan Radomski | 2016-02-24 | 1 | -1/+1 |
| | |||||
* | Some refactoring for improved compile times | Stefan Radomski | 2016-02-23 | 1 | -3/+3 |
| | |||||
* | Some tidying up of ANSI-C transformation | Stefan Radomski | 2016-02-11 | 1 | -3/+36 |
| | |||||
* | Preliminary support for SCXML invocations in generated C machines | Stefan Radomski | 2016-02-04 | 1 | -22/+22 |
| | |||||
* | Prepared ANSI C transformation with invokers | Stefan Radomski | 2016-01-30 | 1 | -42/+62 |
| | |||||
* | Actually generate ANSI C code in uscxml-transform | Stefan Radomski | 2016-01-28 | 1 | -1/+3 |
| | |||||
* | Beautified code | Stefan Radomski | 2016-01-26 | 1 | -12/+12 |
| | |||||
* | VHDL transformation | Stefan Radomski | 2016-01-26 | 1 | -0/+15 |
| | |||||
* | Beautified code | Stefan Radomski | 2016-01-10 | 1 | -70/+70 |
| | |||||
* | Prepared ChartToC transformation | Stefan Radomski | 2016-01-06 | 1 | -3/+18 |
| | |||||
* | All changes up to my dissertation | Stefan Radomski | 2015-12-04 | 1 | -23/+53 |
| | |||||
* | Some fixes for transition preemption with flattening | Stefan Radomski | 2015-05-08 | 1 | -7/+12 |
| | |||||
* | Reactivated PHP bindings and some work on PROMELA | Stefan Radomski | 2015-04-02 | 1 | -0/+6 |
| | |||||
* | Plenty of smaller fixes and adaptations | Stefan Radomski | 2015-01-19 | 1 | -22/+97 |
| | |||||
* | Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodel | Stefan Radomski | 2014-12-26 | 1 | -13/+17 |
| | |||||
* | Renamed URI to URL | Stefan Radomski | 2014-12-14 | 1 | -1/+1 |
| | | | | Some fixes for Xincludes | ||||
* | Support for xinclude | Stefan Radomski | 2014-12-05 | 1 | -1/+3 |
| | |||||
* | SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous ↵ | Stefan Radomski | 2014-10-20 | 1 | -25/+40 |
| | | | | better memory footprint | ||||
* | Got rid of more dynamic_casts | Stefan Radomski | 2014-08-03 | 1 | -1/+1 |
| | |||||
* | See detailled log | Stefan Radomski | 2014-07-30 | 1 | -1/+8 |
| | | | | | | | - 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 | ||||
* | try / catch blocks for applications and work on dot output | Stefan Radomski | 2014-07-21 | 1 | -30/+33 |
| | |||||
* | Stop registering a custom exception handler | Stefan Radomski | 2014-07-04 | 1 | -73/+0 |
| | |||||
* | Major header movement | Stefan Radomski | 2014-06-27 | 1 | -0/+5 |
| | | | | | | - Used IWYU to reorganize headers - Dropped PHP support - Updated tests | ||||
* | - Prolog DM compiles with recent SWI release again | Stefan Radomski | 2014-06-24 | 1 | -1/+1 |
| | | | | | - Bugfixes for stress test - Beautified code | ||||
* | Builds as plugins again | Stefan Radomski | 2014-05-23 | 1 | -1/+1 |
| | |||||
* | Major refactoring | Stefan Radomski | 2014-04-22 | 1 | -44/+86 |
| | | | | | | - Moved tests - Changes to promela datamodel - Implemented Trie | ||||
* | Started with promela datamodel | Stefan Radomski | 2014-04-09 | 1 | -0/+227 |