summaryrefslogtreecommitdiffstats
path: root/test/src/test-promela-parser.cpp
Commit message (Expand)AuthorAgeFilesLines
* Worked on PROMELA transformationStefan Radomski2016-10-251-0/+323
* Major Refactoring v2.0Stefan Radomski2016-05-121-316/+0
* Some refactoring for improved compile timesStefan Radomski2016-02-231-0/+1
* Beautified codeStefan Radomski2016-01-101-19/+19
* Reactivated PHP bindings and some work on PROMELAStefan Radomski2015-04-021-0/+56
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-1/+15
* More work on PROMELA transformationStefan Radomski2014-11-121-83/+87
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better...Stefan Radomski2014-10-201-9/+9
* Major work on PROMELA datamodelStefan Radomski2014-10-121-4/+14
* Support for custom event sources with promelaStefan Radomski2014-04-241-12/+174
* Major refactoringStefan Radomski2014-04-221-44/+45
* More work on promela DMStefan Radomski2014-04-111-0/+1
* More work on promela DMStefan Radomski2014-04-101-25/+48
* Started with promela datamodelStefan Radomski2014-04-091-0/+44