summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Optimized Promela generationStefan Radomski2014-10-218-144/+252
|
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous ↵Stefan Radomski2014-10-2027-1038/+2065
| | | | better memory footprint
* Passing all tests but xpath and luaStefan Radomski2014-10-1217-56/+63
|
* Major work on PROMELA datamodelStefan Radomski2014-10-12264-2562/+11648
|
* Fixed some linker issues with MSVCStefan Radomski2014-08-283-4/+5
|
* Create default timeouts for tests and adapt in test-w3c via DOMStefan Radomski2014-08-2820-157/+112
|
* Do not run tests on travis build slavesStefan Radomski2014-08-281-1/+1
|
* Retain ioProcs and invokers object in V8 and moved ctests from contrib to testsStefan Radomski2014-08-2820-281/+301
|
* Updated documentationStefan Radomski2014-08-271-8/+2
|
* Switched to new Interpreter implementation per defaultStefan Radomski2014-08-273-186/+206
|
* Corrected method signature for reportIssuesStefan Radomski2014-08-271-1/+1
|
* Wrap InterpreterMonitor::reportIssue into language bindingsStefan Radomski2014-08-261-0/+1
|
* Identify InterpreterIssues at runtimeStefan Radomski2014-08-267-26/+115
|
* conditionalized debugging std::coutsStefan Radomski2014-08-262-17/+29
|
* Set 64Bit library prefix againStefan Radomski2014-08-261-0/+1
|
* Fixed the embedding examplesStefan Radomski2014-08-265-8/+8
|
* API changes with receiveEventStefan Radomski2014-08-2631-1935/+1182
| | | | | - receiveEvent will deliver to external queue now per default - switched Interpreter implementations to the new algorithm from spec
* Support for pre-Mavericks Macs againStefan Radomski2014-08-231-0/+3
|
* Seperated prebuilts by platform-id during build processStefan Radomski2014-08-232-91/+165
|
* Spring cleaning of testsStefan Radomski2014-08-2217-960/+76
|
* Moved InterpreterIssues to own source fileStefan Radomski2014-08-226-527/+761
|