summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform/ChartToPromela.cpp
Commit message (Expand)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
* 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 s...Stefan Radomski2014-11-131-0/+15
* 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 better...Stefan Radomski2014-10-201-0/+2146
generated by cgit v0.12 at 2024-11-05 02:14:45 (GMT)