summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform
Commit message (Expand)AuthorAgeFilesLines
* Beautified codeStefan Radomski2016-01-1014-2641/+2655
* Builds with MSVC againStefan Radomski2016-01-102-11/+16
* Fixed compilation for gcc on Linux againStefan Radomski2016-01-083-112/+322
* Prepared ChartToC transformationStefan Radomski2016-01-065-619/+1503
* All changes up to my dissertationStefan Radomski2015-12-043-36/+221
* done.event bug and prolog testsStefan Radomski2015-07-083-20/+21
* Various extensions and bug-fixesStefan Radomski2015-07-055-255/+266
* Some fixes for transition preemption with flatteningStefan Radomski2015-05-082-51/+65
* Reactivated PHP bindings and some work on PROMELAStefan Radomski2015-04-022-530/+416
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-1914-296/+3432
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-268-243/+825
* Renamed URI to URLStefan Radomski2014-12-142-28/+156
* Support for xincludeStefan Radomski2014-12-051-9/+6
* Support for initial attribute with nested scxml invokersStefan Radomski2014-12-052-7/+16
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-014-197/+908
* 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-125-780/+1156
* More output when transformingStefan Radomski2014-10-213-16/+44
* Fixed previous commitStefan Radomski2014-10-211-6/+8
* optimized queue length calculations for promela transformationStefan Radomski2014-10-212-17/+37
* Optimized Promela generationStefan Radomski2014-10-214-48/+237
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better...Stefan Radomski2014-10-2011-953/+1673
* Major work on PROMELA datamodelStefan Radomski2014-10-125-299/+1300
* Identify InterpreterIssues at runtimeStefan Radomski2014-08-261-12/+34
* API changes with receiveEventStefan Radomski2014-08-261-1/+1
* Builds for Raspberry andStefan Radomski2014-08-132-61/+84
* Reformatted w3c tests with xmllintStefan Radomski2014-08-113-56/+157
* Be more explicit as to why a configuration is invalidStefan Radomski2014-08-082-9/+22
* Catch std::exception before ... and output e.what()Stefan Radomski2014-08-053-34/+68
* Beautified flattened state-machine idsStefan Radomski2014-08-042-110/+124
* Got rid of more dynamic_castsStefan Radomski2014-08-036-108/+112
* See detailled logStefan Radomski2014-07-305-14/+937
* Appr. 15% performance boost by avoiding dynamic_cast in DOMStefan Radomski2014-07-073-23/+6
* More polishing for bindings C# and JavaStefan Radomski2014-07-011-3/+1
* Major header movementStefan Radomski2014-06-271-0/+2
* - Prolog DM compiles with recent SWI release againStefan Radomski2014-06-241-10/+10
* Updated tests for IRP and work on bindingsStefan Radomski2014-06-232-3/+4
* Changed getNames signature from set to listStefan Radomski2014-06-062-8/+8
* Builds with MSVC againStefan Radomski2014-05-221-1/+2
* Introduced interpreter.step()Stefan Radomski2014-05-151-4/+4
* Support for custom event sources with promelaStefan Radomski2014-04-242-143/+334
* Beautified CodeStefan Radomski2014-04-222-54/+54
* Major refactoringStefan Radomski2014-04-224-242/+994
* replaced INT32_MAX with limits.hStefan Radomski2014-04-101-5/+3
* INT32_MAX not definedStefan Radomski2014-04-091-0/+3
* Started with promela datamodelStefan Radomski2014-04-094-0/+1335