summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Reverted a erroneous bugfixStefan Radomski2016-01-203-13/+14
* Some typographic fixesStefan Radomski2016-01-201-4/+13
* Updated some documentationStefan Radomski2016-01-204-273/+285
* Fixed dimensions and borderStefan Radomski2016-01-201-0/+0
* Added performance chartStefan Radomski2016-01-201-0/+0
* 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-206-159/+312
* Fixed a bug in generated C with deep initial statesStefan Radomski2016-01-195-97/+284
* Fixed a bug with deep initial states in compounds for C transformationStefan Radomski2016-01-194-162/+146
* Fixed a memory leak in transformed C scaffoldingStefan Radomski2016-01-183-38/+67
* Beautified generated C code from transformationStefan Radomski2016-01-178-554/+697
* Prepared VHDL transformation testsStefan Radomski2016-01-153-1619/+8
* Working on C transformationStefan Radomski2016-01-1519-645/+3032
* Beautified codeStefan Radomski2016-01-1061-8198/+8274
* Builds with MSVC againStefan Radomski2016-01-1017-254/+212
* Fixed compilation for gcc on Linux againStefan Radomski2016-01-0821-313/+1278
* Prepared ChartToC transformationStefan Radomski2016-01-0638-780/+2965
* All changes up to my dissertationStefan Radomski2015-12-0472-367/+4555
* done.event bug and prolog testsStefan Radomski2015-07-08214-113/+8651
* Various extensions and bug-fixesStefan Radomski2015-07-0516-428/+1313
* Some fixes for transition preemption with flatteningStefan Radomski2015-05-084-59/+85
* Reactivated PHP bindings and some work on PROMELAStefan Radomski2015-04-0222-564/+4246
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-1939-1203/+5171
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-2625-441/+1282
* Renamed URI to URLStefan Radomski2014-12-1454-351/+529
* More complete xinclude implementation and testsStefan Radomski2014-12-0718-50/+288
* Support for xincludeStefan Radomski2014-12-0526-67/+109
* Support for initial attribute with nested scxml invokersStefan Radomski2014-12-0511-21/+76
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-0197-679/+1728
* Fixed file:// handling bug on windowsStefan Radomski2014-11-159-55/+142
* Datamode Extensions for V8Stefan Radomski2014-11-145-3/+73
* Support for DataModelExtensionsStefan Radomski2014-11-1314-81/+253
* 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
* Updated Java exampled to access external XML per XPathStefan Radomski2014-11-121-3/+3
* Hopefully fixed unfortunate document.evaluate bug in ECMAScript bindingsStefan Radomski2014-11-124-7/+23
* Data model access example in JavaStefan Radomski2014-11-126-0/+141
* Merge branch 'master' of https://github.com/tklab-tud/uscxmlStefan Radomski2014-11-122-5/+5
|\
| * Merge pull request #55 from vogelsgesang/fix-test-w3c-loggingStefan Radomski2014-11-061-3/+3
| |\
| | * test-w3c: initialize glog framework earlierAdrian Vogelsgesang2014-11-061-3/+3
| * | Merge pull request #54 from vogelsgesang/put-that-there-tab-fixStefan Radomski2014-11-051-2/+2
| |\ \ | | |/ | |/|
| | * samples/put-that-there: removed an errornous tabAdrian Vogelsgesang2014-11-041-2/+2
| |/
* | More work on PROMELA transformationStefan Radomski2014-11-1222-3435/+5446
* | More output when transformingStefan Radomski2014-10-214-16/+60
* | Fixed previous commitStefan Radomski2014-10-211-6/+8
|/
* optimized queue length calculations for promela transformationStefan Radomski2014-10-213-17/+39
* Optimized Promela generationStefan Radomski2014-10-218-144/+252
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better...Stefan Radomski2014-10-2027-1038/+2065
* Passing all tests but xpath and luaStefan Radomski2014-10-1217-56/+63
* Major work on PROMELA datamodelStefan Radomski2014-10-12264-2562/+11648