Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | 1_introduction.xml | 4164 | logplainblame |
-rw-r--r-- | 2_description.xml | 8054 | logplainblame |
-rw-r--r-- | 3_functional.xml | 75400 | logplainblame |
-rw-r--r-- | 3b_runner.xml | 75137 | logplainblame |
-rw-r--r-- | 4_interface.xml | 8963 | logplainblame |
-rw-r--r-- | 5_nonfunctional.xml | 10660 | logplainblame |
-rw-r--r-- | 6_other.xml | 3367 | logplainblame |
-rw-r--r-- | Makefile | 369 | logplainblame |
-rw-r--r-- | requirements.xml | 2635 | logplainblame |
-rw-r--r-- | verification-list | 695 | logplainblame |