summaryrefslogtreecommitdiffstats
path: root/test/w3c/confPromela.xsl
Commit message (Expand)AuthorAgeFilesLines
* Renamed URI to URLStefan Radomski2014-12-141-2/+4
* Support for initial attribute with nested scxml invokersStefan Radomski2014-12-051-0/+4
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-1/+44
* Passing all tests but xpath and luaStefan Radomski2014-10-121-2/+2
* Major work on PROMELA datamodelStefan Radomski2014-10-121-0/+779