summaryrefslogtreecommitdiffstats
path: root/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h
Commit message (Expand)AuthorAgeFilesLines
* Fixed issue 114Stefan Radomski2017-05-101-0/+1
* Reactivated BUILD_AS_PLUGINSStefan Radomski2017-01-271-1/+2
* Worked on passing even more IRP testsStefan Radomski2017-01-181-4/+6
* Worked on PROMELA transformationStefan Radomski2016-10-251-0/+102
* Major Refactoring v2.0Stefan Radomski2016-05-121-119/+0
* Some refactoring for improved compile timesStefan Radomski2016-02-231-1/+2
* Prepared ChartToC transformationStefan Radomski2016-01-061-1/+1
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-191-0/+1
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-261-1/+1
* 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