summaryrefslogtreecommitdiffstats
path: root/src/uscxml/plugins/datamodel/promela/PromelaParser.h
Commit message (Collapse)AuthorAgeFilesLines
* Major work on PROMELA datamodelStefan Radomski2014-10-121-4/+5
|
* - Prolog DM compiles with recent SWI release againStefan Radomski2014-06-241-3/+3
| | | | | - Bugfixes for stress test - Beautified code
* Beautified CodeStefan Radomski2014-04-221-1/+1
|
* Major refactoringStefan Radomski2014-04-221-73/+43
| | | | | | - Moved tests - Changes to promela datamodel - Implemented Trie
* More work on promela DMStefan Radomski2014-04-111-1/+4
| | | | changed const of Data subscript operator and introduced at(key) and item(index)
* More work on promela DMStefan Radomski2014-04-101-27/+42
|
* Started with promela datamodelStefan Radomski2014-04-091-0/+102