summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* 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
|
generated by cgit v0.12 at 2024-09-03 23:41:02 (GMT)