Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Some more refactoring and VHDL transformation | Stefan Radomski | 2016-02-24 | 1 | -46/+46 |
| | |||||
* | Some refactoring for improved compile times | Stefan Radomski | 2016-02-23 | 1 | -59/+60 |
| | |||||
* | Beautified code | Stefan Radomski | 2016-01-10 | 1 | -488/+488 |
| | |||||
* | Builds with MSVC again | Stefan Radomski | 2016-01-10 | 1 | -1/+1 |
| | |||||
* | All changes up to my dissertation | Stefan Radomski | 2015-12-04 | 1 | -27/+56 |
| | |||||
* | Various extensions and bug-fixes | Stefan Radomski | 2015-07-05 | 1 | -43/+245 |
| | |||||
* | Some fixes for transition preemption with flattening | Stefan Radomski | 2015-05-08 | 1 | -50/+61 |
| | |||||
* | Reactivated PHP bindings and some work on PROMELA | Stefan Radomski | 2015-04-02 | 1 | -485/+331 |
| | |||||
* | Plenty of smaller fixes and adaptations | Stefan Radomski | 2015-01-19 | 1 | -158/+299 |
| | |||||
* | Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodel | Stefan Radomski | 2014-12-26 | 1 | -223/+380 |
| | |||||
* | Renamed URI to URL | Stefan Radomski | 2014-12-14 | 1 | -27/+154 |
| | | | | Some fixes for Xincludes | ||||
* | Support for xinclude | Stefan Radomski | 2014-12-05 | 1 | -9/+6 |
| | |||||
* | Support for initial attribute with nested scxml invokers | Stefan Radomski | 2014-12-05 | 1 | -6/+15 |
| | |||||
* | Nested invokers and delayed events for PROMELA model checking | Stefan Radomski | 2014-12-01 | 1 | -165/+854 |
| | |||||
* | Support for Proxies via USCXML_PROXY environment variable, check CURL_PROXY ↵ | Stefan Radomski | 2014-11-13 | 1 | -0/+15 |
| | | | | syntax for examples | ||||
* | More work on PROMELA transformation | Stefan Radomski | 2014-11-12 | 1 | -712/+913 |
| | |||||
* | More output when transforming | Stefan Radomski | 2014-10-21 | 1 | -4/+6 |
| | |||||
* | Optimized Promela generation | Stefan Radomski | 2014-10-21 | 1 | -9/+14 |
| | |||||
* | SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous ↵ | Stefan Radomski | 2014-10-20 | 1 | -0/+2146 |
better memory footprint |