summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform/FSMToPromela.cpp
Commit message (Collapse)AuthorAgeFilesLines
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous ↵Stefan Radomski2014-10-201-1712/+0
| | | | better memory footprint
* Major work on PROMELA datamodelStefan Radomski2014-10-121-136/+979
|
* Got rid of more dynamic_castsStefan Radomski2014-08-031-32/+32
|
* Appr. 15% performance boost by avoiding dynamic_cast in DOMStefan Radomski2014-07-071-1/+1
|
* Support for custom event sources with promelaStefan Radomski2014-04-241-128/+269
|
* Beautified CodeStefan Radomski2014-04-221-43/+43
|
* Major refactoringStefan Radomski2014-04-221-28/+680
| | | | | | - Moved tests - Changes to promela datamodel - Implemented Trie
* Started with promela datamodelStefan Radomski2014-04-091-0/+76