summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Reverted a erroneous bugfixStefan Radomski2016-01-201-2/+1
|
* 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-203-34/+157
|
* Fixed a bug in generated C with deep initial statesStefan Radomski2016-01-193-7/+48
|
* Fixed a bug with deep initial states in compounds for C transformationStefan Radomski2016-01-191-12/+19
|
* Fixed a memory leak in transformed C scaffoldingStefan Radomski2016-01-181-27/+35
|
* Beautified generated C code from transformationStefan Radomski2016-01-174-265/+354
|
* Prepared VHDL transformation testsStefan Radomski2016-01-151-1617/+0
|
* Working on C transformationStefan Radomski2016-01-156-184/+1826
|
* Beautified codeStefan Radomski2016-01-1049-6870/+6941
|
* Builds with MSVC againStefan Radomski2016-01-1012-75/+99
|
* Fixed compilation for gcc on Linux againStefan Radomski2016-01-0812-117/+581
|
* Prepared ChartToC transformationStefan Radomski2016-01-0629-765/+1792
|
* All changes up to my dissertationStefan Radomski2015-12-0417-96/+509
|
* done.event bug and prolog testsStefan Radomski2015-07-0810-71/+1045
| | | | Fixed the done.event bug and added first prolog transformed IRP tests
* Various extensions and bug-fixesStefan Radomski2015-07-0511-342/+916
|
* Some fixes for transition preemption with flatteningStefan Radomski2015-05-082-51/+65
|
* Reactivated PHP bindings and some work on PROMELAStefan Radomski2015-04-0215-543/+4140
|
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-1929-1137/+4416
|
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-2616-354/+1077
|
* Renamed URI to URLStefan Radomski2014-12-1418-147/+318
| | | | Some fixes for Xincludes
* More complete xinclude implementation and testsStefan Radomski2014-12-074-23/+148
|
* Support for xincludeStefan Radomski2014-12-055-25/+55
|
* Support for initial attribute with nested scxml invokersStefan Radomski2014-12-056-8/+25
|
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-0114-441/+1438
|
* Fixed file:// handling bug on windowsStefan Radomski2014-11-156-27/+44
|
* Datamode Extensions for V8Stefan Radomski2014-11-145-3/+73
|
* Support for DataModelExtensionsStefan Radomski2014-11-1312-80/+151
|
* 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
* Hopefully fixed unfortunate document.evaluate bug in ECMAScript bindingsStefan Radomski2014-11-122-2/+10
|
* More work on PROMELA transformationStefan Radomski2014-11-129-3300/+3564
|
* More output when transformingStefan Radomski2014-10-213-16/+44
|
* Fixed previous commitStefan Radomski2014-10-211-6/+8
|
* optimized queue length calculations for promela transformationStefan Radomski2014-10-212-17/+37
|
* Optimized Promela generationStefan Radomski2014-10-214-48/+237
|
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous ↵Stefan Radomski2014-10-2017-993/+1731
| | | | better memory footprint
* Major work on PROMELA datamodelStefan Radomski2014-10-1246-2096/+3628
|
* Create default timeouts for tests and adapt in test-w3c via DOMStefan Radomski2014-08-281-3/+2
|
* Retain ioProcs and invokers object in V8 and moved ctests from contrib to testsStefan Radomski2014-08-282-19/+33
|
* 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-265-24/+81
|
* conditionalized debugging std::coutsStefan Radomski2014-08-262-17/+29
|
* API changes with receiveEventStefan Radomski2014-08-2614-1893/+1124
| | | | | - receiveEvent will deliver to external queue now per default - switched Interpreter implementations to the new algorithm from spec
* Spring cleaning of testsStefan Radomski2014-08-223-0/+14
|
* Moved InterpreterIssues to own source fileStefan Radomski2014-08-225-527/+725
|
* Corrected for a MSVC compiler bug and more tests in validate()Stefan Radomski2014-08-222-47/+108
|
* More issues being idenified via interpreter.validate()Stefan Radomski2014-08-214-133/+247
|
generated by cgit v0.12 at 2024-11-16 21:13:09 (GMT)