Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | 1_introduction.xml | 4376 | logplainblame |
-rw-r--r-- | 2_description.xml | 6357 | logplainblame |
-rw-r--r-- | 3_functional.xml | 58131 | logplainblame |
-rw-r--r-- | 3b_runner.xml | 33839 | logplainblame |
-rw-r--r-- | 4_interface.xml | 7517 | logplainblame |
-rw-r--r-- | 5_nonfunctional.xml | 1412 | logplainblame |
-rw-r--r-- | 6_other.xml | 1108 | logplainblame |
-rw-r--r-- | requirements.xml | 2619 | logplainblame |
-rw-r--r-- | verification-list | 673 | logplainblame |