summaryrefslogtreecommitdiffstats
path: root/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h
Commit message (Collapse)AuthorAgeFilesLines
* Major work on PROMELA datamodelStefan Radomski2014-10-121-6/+12
|
* Got rid of more dynamic_castsStefan Radomski2014-08-031-1/+1
|
* Introduced isLocation for datamodels to check for valid namelist entriesStefan Radomski2014-07-031-0/+1
|
* Changed getNames signature from set to listStefan Radomski2014-06-061-3/+3
|
* Major refactoringStefan Radomski2014-04-221-4/+6
| | | | | | - Moved tests - Changes to promela datamodel - Implemented Trie
* More work on promela DMStefan Radomski2014-04-111-1/+1
| | | | changed const of Data subscript operator and introduced at(key) and item(index)
* More work on promela DMStefan Radomski2014-04-101-11/+10
|
* Started with promela datamodelStefan Radomski2014-04-091-0/+109