summaryrefslogtreecommitdiffstats
path: root/test/w3c/promela/test576.scxml
Commit message (Collapse)AuthorAgeFilesLines
* Worked on PROMELA transformationStefan Radomski2016-10-251-0/+43
|
* Major Refactoring v2.0Stefan Radomski2016-05-121-43/+0
|
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-1/+1
|
* Major work on PROMELA datamodelStefan Radomski2014-10-121-0/+43