summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform/ChartToPromela.h
Commit message (Expand)AuthorAgeFilesLines
* Beautified codeStefan Radomski2016-01-101-63/+63
* Various extensions and bug-fixesStefan Radomski2015-07-051-1/+9
* Reactivated PHP bindings and some work on PROMELAStefan Radomski2015-04-021-45/+85
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-191-1/+30
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-261-4/+11
* Renamed URI to URLStefan Radomski2014-12-141-1/+2
* Support for initial attribute with nested scxml invokersStefan Radomski2014-12-051-1/+1
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-10/+40
* More work on PROMELA transformationStefan Radomski2014-11-121-45/+95
* Optimized Promela generationStefan Radomski2014-10-211-1/+4
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better...Stefan Radomski2014-10-201-0/+279