summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Some tidying up of ANSI-C transformationStefan Radomski2016-02-114-47/+276
* Some polishing for generated ANSI C machinesStefan Radomski2016-02-083-398/+559
* Fixes bugs and memory leaks with generated C state-chartsStefan Radomski2016-02-062-47/+58
* Invokers with generated CStefan Radomski2016-02-042-24/+71
* Preliminary support for SCXML invocations in generated C machinesStefan Radomski2016-02-0411-660/+1059
* Prepared ANSI C transformation with invokersStefan Radomski2016-01-3010-76/+208
* Prepared the C transformation as a VHDL base classStefan Radomski2016-01-293-165/+170
* Actually generate ANSI C code in uscxml-transformStefan Radomski2016-01-285-337/+219
* Beautified codeStefan Radomski2016-01-262-732/+733
* VHDL transformationStefan Radomski2016-01-262-0/+826
* Some code beautificationsStefan Radomski2016-01-264-249/+245
* Reverted a erroneous bugfixStefan Radomski2016-01-201-2/+1
* fixed a silly bug with bit masks in generated CStefan Radomski2016-01-201-3/+4
* Added transition-less histories as an issue and completed C transformationStefan Radomski2016-01-203-34/+157
* Fixed a bug in generated C with deep initial statesStefan Radomski2016-01-193-7/+48
* Fixed a bug with deep initial states in compounds for C transformationStefan Radomski2016-01-191-12/+19
* Fixed a memory leak in transformed C scaffoldingStefan Radomski2016-01-181-27/+35
* Beautified generated C code from transformationStefan Radomski2016-01-174-265/+354
* Prepared VHDL transformation testsStefan Radomski2016-01-151-1617/+0
* Working on C transformationStefan Radomski2016-01-156-184/+1826
* Beautified codeStefan Radomski2016-01-1049-6870/+6941
* Builds with MSVC againStefan Radomski2016-01-1012-75/+99
* Fixed compilation for gcc on Linux againStefan Radomski2016-01-0812-117/+581
* Prepared ChartToC transformationStefan Radomski2016-01-0629-765/+1792
* All changes up to my dissertationStefan Radomski2015-12-0417-96/+509
* done.event bug and prolog testsStefan Radomski2015-07-0810-71/+1045
* Various extensions and bug-fixesStefan Radomski2015-07-0511-342/+916
* Some fixes for transition preemption with flatteningStefan Radomski2015-05-082-51/+65
* Reactivated PHP bindings and some work on PROMELAStefan Radomski2015-04-0215-543/+4140
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-1929-1137/+4416
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-2616-354/+1077
* Renamed URI to URLStefan Radomski2014-12-1418-147/+318
* More complete xinclude implementation and testsStefan Radomski2014-12-074-23/+148
* Support for xincludeStefan Radomski2014-12-055-25/+55
* Support for initial attribute with nested scxml invokersStefan Radomski2014-12-056-8/+25
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-0114-441/+1438
* Fixed file:// handling bug on windowsStefan Radomski2014-11-156-27/+44
* Datamode Extensions for V8Stefan Radomski2014-11-145-3/+73
* Support for DataModelExtensionsStefan Radomski2014-11-1312-80/+151
* Remove CURLOPT_PROXYHEADER from supported variables as is appeared rather lat...Stefan Radomski2014-11-131-2/+6
* Support for Proxies via USCXML_PROXY environment variable, check CURL_PROXY s...Stefan Radomski2014-11-132-0/+90
* Hopefully fixed unfortunate document.evaluate bug in ECMAScript bindingsStefan Radomski2014-11-122-2/+10
* More work on PROMELA transformationStefan Radomski2014-11-129-3300/+3564
* 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-2017-993/+1731
* Major work on PROMELA datamodelStefan Radomski2014-10-1246-2096/+3628
* Create default timeouts for tests and adapt in test-w3c via DOMStefan Radomski2014-08-281-3/+2