summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform/ChartToPromela.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Some more refactoring and VHDL transformationStefan Radomski2016-02-241-46/+46
|
* Some refactoring for improved compile timesStefan Radomski2016-02-231-59/+60
|
* Beautified codeStefan Radomski2016-01-101-488/+488
|
* Builds with MSVC againStefan Radomski2016-01-101-1/+1
|
* All changes up to my dissertationStefan Radomski2015-12-041-27/+56
|
* Various extensions and bug-fixesStefan Radomski2015-07-051-43/+245
|
* Some fixes for transition preemption with flatteningStefan Radomski2015-05-081-50/+61
|
* Reactivated PHP bindings and some work on PROMELAStefan Radomski2015-04-021-485/+331
|
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-191-158/+299
|
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-261-223/+380
|
* Renamed URI to URLStefan Radomski2014-12-141-27/+154
| | | | Some fixes for Xincludes
* Support for xincludeStefan Radomski2014-12-051-9/+6
|
* Support for initial attribute with nested scxml invokersStefan Radomski2014-12-051-6/+15
|
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-165/+854
|
* Support for Proxies via USCXML_PROXY environment variable, check CURL_PROXY ↵Stefan Radomski2014-11-131-0/+15
| | | | syntax for examples
* More work on PROMELA transformationStefan Radomski2014-11-121-712/+913
|
* More output when transformingStefan Radomski2014-10-211-4/+6
|
* Optimized Promela generationStefan Radomski2014-10-211-9/+14
|
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous ↵Stefan Radomski2014-10-201-0/+2146
better memory footprint