summaryrefslogtreecommitdiffstats
path: root/test/uscxml/promela
Commit message (Expand)AuthorAgeFilesLines
* Worked on PROMELA transformationStefan Radomski2016-10-259-0/+454
* Major Refactoring v2.0Stefan Radomski2016-05-129-454/+0
* Reactivated PHP bindings and some work on PROMELAStefan Radomski2015-04-021-14/+37
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-192-0/+176
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-1/+11
* More work on PROMELA transformationStefan Radomski2014-11-122-2/+18
* More output when transformingStefan Radomski2014-10-211-0/+16
* More tests for promela datamodelStefan Radomski2014-04-241-2/+12
* Support for custom event sources with promelaStefan Radomski2014-04-241-3/+11
* Major refactoringStefan Radomski2014-04-225-0/+195