summaryrefslogtreecommitdiffstats
path: root/test/w3c/convert-tests.sh
Commit message (Collapse)AuthorAgeFilesLines
* Fixed a typo and added a test for issue 56legacy-1.0Stefan Radomski2016-05-091-2/+11
|
* All changes up to my dissertationStefan Radomski2015-12-041-0/+7
|
* done.event bug and prolog testsStefan Radomski2015-07-081-2/+16
| | | | Fixed the done.event bug and added first prolog transformed IRP tests
* Renamed URI to URLStefan Radomski2014-12-141-13/+13
| | | | Some fixes for Xincludes
* More work on PROMELA transformationStefan Radomski2014-11-121-0/+1
|
* Passing all tests but xpath and luaStefan Radomski2014-10-121-15/+15
|
* Major work on PROMELA datamodelStefan Radomski2014-10-121-10/+21
|
* Reformatted w3c tests with xmllintStefan Radomski2014-08-111-1/+9
|
* Removed w3c ecma tests from xpath and vice versaStefan Radomski2014-07-031-1/+4
|
* Major refactoringStefan Radomski2014-04-221-0/+23
- Moved tests - Changes to promela datamodel - Implemented Trie