summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
* 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
* Corrected for a MSVC compiler bug and more tests in validate()Stefan Radomski2014-08-223-47/+116
* More issues being idenified via interpreter.validate()Stefan Radomski2014-08-219-161/+580
* New Interpreter::validate() to identify issues with a document before running itStefan Radomski2014-08-2115-17/+542
* Reactiveted new CMake policies and some more documentationStefan Radomski2014-08-2110-17/+141
* Updated documentationStefan Radomski2014-08-204-1/+135
* Find JavaScriptCoreGTK3 as wellStefan Radomski2014-08-196-24/+45
* DOM support for Lua DM via luaExpatStefan Radomski2014-08-187-307/+410
* Polished xhtml invokerStefan Radomski2014-08-1511-117/+1178
* More JVoiceXML integrationStefan Radomski2014-08-1518-397/+1175