summaryrefslogtreecommitdiffstats
path: root/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h
Commit message (Expand)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
* More work on promela DMStefan Radomski2014-04-111-1/+1
* More work on promela DMStefan Radomski2014-04-101-11/+10
* Started with promela datamodelStefan Radomski2014-04-091-0/+109