summaryrefslogtreecommitdiffstats
path: root/src/uscxml/plugins/datamodel/promela
Commit message (Collapse)AuthorAgeFilesLines
* Renamed URI to URLStefan Radomski2014-12-142-37/+32
| | | | Some fixes for Xincludes
* More complete xinclude implementation and testsStefan Radomski2014-12-072-3/+18
|
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-017-233/+507
|
* More work on PROMELA transformationStefan Radomski2014-11-124-2520/+2408
|
* 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
| | | | | | - Used IWYU to reorganize headers - Dropped PHP support - Updated tests
* - Prolog DM compiles with recent SWI release againStefan Radomski2014-06-243-2273/+2306
| | | | | - Bugfixes for stress test - Beautified code
* 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
| | | | | | - Moved tests - Changes to promela datamodel - Implemented Trie
* More work on promela DMStefan Radomski2014-04-116-38/+112
| | | | changed const of Data subscript operator and introduced at(key) and item(index)
* More work on promela DMStefan Radomski2014-04-109-853/+1255
|
* Started with promela datamodelStefan Radomski2014-04-099-0/+5672