summaryrefslogtreecommitdiffstats
path: root/test/uscxml/promela
Commit message (Collapse)AuthorAgeFilesLines
* 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
- Moved tests - Changes to promela datamodel - Implemented Trie