summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform/ChartToFSM.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Some more refactoring and VHDL transformationStefan Radomski2016-02-241-43/+43
|
* Some refactoring for improved compile timesStefan Radomski2016-02-231-29/+30
|
* Beautified codeStefan Radomski2016-01-101-335/+339
|
* All changes up to my dissertationStefan Radomski2015-12-041-9/+161
|
* done.event bug and prolog testsStefan Radomski2015-07-081-18/+17
| | | | Fixed the done.event bug and added first prolog transformed IRP tests
* Various extensions and bug-fixesStefan Radomski2015-07-051-172/+7
|
* Some fixes for transition preemption with flatteningStefan Radomski2015-05-081-1/+4
|
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-191-64/+734
|
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-261-2/+12
|
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-22/+12
|
* More work on PROMELA transformationStefan Radomski2014-11-121-15/+77
|
* More output when transformingStefan Radomski2014-10-211-12/+35
|
* Fixed previous commitStefan Radomski2014-10-211-6/+8
|
* optimized queue length calculations for promela transformationStefan Radomski2014-10-211-17/+36
|
* Optimized Promela generationStefan Radomski2014-10-211-37/+200
|
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous ↵Stefan Radomski2014-10-201-671/+435
| | | | better memory footprint
* Major work on PROMELA datamodelStefan Radomski2014-10-121-130/+151
|
* API changes with receiveEventStefan Radomski2014-08-261-1/+1
| | | | | - receiveEvent will deliver to external queue now per default - switched Interpreter implementations to the new algorithm from spec
* Builds for Raspberry andStefan Radomski2014-08-131-57/+79
| | | | started VoiceXML HTTP integration
* Reformatted w3c tests with xmllintStefan Radomski2014-08-111-50/+127
|
* Be more explicit as to why a configuration is invalidStefan Radomski2014-08-081-8/+20
|
* Catch std::exception before ... and output e.what()Stefan Radomski2014-08-051-16/+41
|
* Beautified flattened state-machine idsStefan Radomski2014-08-041-27/+3
|
* Got rid of more dynamic_castsStefan Radomski2014-08-031-25/+28
|
* See detailled logStefan Radomski2014-07-301-13/+134
| | | | | | | - Forcing Data.Type for Data(String) constructor now, default used to be INTERPRETED. - setDataModel and addIOProcessor on interpreter now - fixed a bug with Data(bool) constructor - various smaller fixes
* Appr. 15% performance boost by avoiding dynamic_cast in DOMStefan Radomski2014-07-071-18/+3
|
* More polishing for bindings C# and JavaStefan Radomski2014-07-011-3/+1
|
* Major header movementStefan Radomski2014-06-271-0/+2
| | | | | | - Used IWYU to reorganize headers - Dropped PHP support - Updated tests
* Updated tests for IRP and work on bindingsStefan Radomski2014-06-231-2/+3
|
* Builds with MSVC againStefan Radomski2014-05-221-1/+2
|
* Introduced interpreter.step()Stefan Radomski2014-05-151-4/+4
|
* Major refactoringStefan Radomski2014-04-221-176/+221
| | | | | | - Moved tests - Changes to promela datamodel - Implemented Trie
* replaced INT32_MAX with limits.hStefan Radomski2014-04-101-5/+3
|
* INT32_MAX not definedStefan Radomski2014-04-091-0/+3
|
* Started with promela datamodelStefan Radomski2014-04-091-0/+1048
generated by cgit v0.12 at 2024-10-11 21:58:23 (GMT)