summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Actually generate ANSI C code in uscxml-transformStefan Radomski2016-01-2810-460/+700
|
* Beautified codeStefan Radomski2016-01-263-744/+745
|
* VHDL transformationStefan Radomski2016-01-265-1/+884
|
* Some code beautificationsStefan Radomski2016-01-268-538/+387
|
* 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
| | | | Fixed the done.event bug and added first prolog transformed IRP tests
* 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
| | | | Some fixes for Xincludes
* 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 ↵Stefan Radomski2014-11-131-2/+6
| | | | late in curl
* Support for Proxies via USCXML_PROXY environment variable, check CURL_PROXY ↵Stefan Radomski2014-11-132-0/+90
| | | | syntax for examples
* 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 earlier
| | * 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 tab
| | * 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
|
generated by cgit v0.12 at 2024-07-19 13:01:35 (GMT)