summaryrefslogtreecommitdiffstats
path: root/src/uscxml/plugins/datamodel/promela
Commit message (Expand)AuthorAgeFilesLines
* Major work on PROMELA datamodelStefan Radomski2014-10-129-587/+1069
* Got rid of more dynamic_castsStefan Radomski2014-08-032-3/+3
* Introduced isLocation for datamodels to check for valid namelist entriesStefan Radomski2014-07-032-0/+5
* More polishing for bindings C# and JavaStefan Radomski2014-07-012-25/+18
* Major header movementStefan Radomski2014-06-271-0/+2
* - Prolog DM compiles with recent SWI release againStefan Radomski2014-06-243-2273/+2306
* Changed getNames signature from set to listStefan Radomski2014-06-061-3/+3
* Builds with MSVC againStefan Radomski2014-05-227-2379/+2498
* Beautified CodeStefan Radomski2014-04-222-2/+2
* Major refactoringStefan Radomski2014-04-227-2505/+2548
* More work on promela DMStefan Radomski2014-04-116-38/+112
* More work on promela DMStefan Radomski2014-04-109-853/+1255
* Started with promela datamodelStefan Radomski2014-04-099-0/+5672