summaryrefslogtreecommitdiffstats
path: root/test/w3c/analyze_tests.pl
Commit message (Expand)AuthorAgeFilesLines
* Impreoved PROMELA transformationStefan Radomski2016-11-161-0/+101
* Working on C transformationStefan Radomski2016-01-151-2/+36
* Various extensions and bug-fixesStefan Radomski2015-07-051-2/+51
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-191-8/+13
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-261-1/+32
* More work on PROMELA transformationStefan Radomski2014-11-121-4/+8
* Optimized Promela generationStefan Radomski2014-10-211-0/+182