summaryrefslogtreecommitdiffstats
path: root/test/w3c/promela
Commit message (Expand)AuthorAgeFilesLines
* Reenabled V8, Debugger tests and smaller fixesStefan Radomski2017-08-013-4/+4
* More complete encoding testsStefan Radomski2017-06-084-24/+453
* More encoding testsStefan Radomski2017-06-063-0/+52
* Added more encoding testsStefan Radomski2017-06-051-1/+5
* Added new utf8 test for all datamodelsStefan Radomski2017-06-021-0/+22
* Worked on PROMELA transformationStefan Radomski2016-10-25195-0/+6675
* Major Refactoring v2.0Stefan Radomski2016-05-12194-6645/+0
* All changes up to my dissertationStefan Radomski2015-12-041-23/+0
* done.event bug and prolog testsStefan Radomski2015-07-081-38/+42
* Renamed URI to URLStefan Radomski2014-12-1418-175/+146
* Support for initial attribute with nested scxml invokersStefan Radomski2014-12-052-2/+2
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-0173-180/+173
* More work on PROMELA transformationStefan Radomski2014-11-121-23/+0
* Passing all tests but xpath and luaStefan Radomski2014-10-126-25/+30
* Major work on PROMELA datamodelStefan Radomski2014-10-12196-0/+6718