Files
drwxr-xr-x | 4096 | root | root | /usr/share/doc/frama-c-doc |
-rw-r--r-- | 1226957 | root | root | /usr/share/doc/frama-c-doc/acsl-implementation.pdf |
-rw-r--r-- | 1219771 | root | root | /usr/share/doc/frama-c-doc/acsl.pdf |
-rw-r--r-- | 344971 | root | root | /usr/share/doc/frama-c-doc/aorai-manual.pdf |
-rw-r--r-- | 2146 | root | root | /usr/share/doc/frama-c-doc/intro_kernel_plugin.txt |
-rw-r--r-- | 2257 | root | root | /usr/share/doc/frama-c-doc/intro_occurrence.txt |
-rw-r--r-- | 5237 | root | root | /usr/share/doc/frama-c-doc/intro_pdg.txt |
-rw-r--r-- | 2302 | root | root | /usr/share/doc/frama-c-doc/intro_plugin.txt |
-rw-r--r-- | 2431 | root | root | /usr/share/doc/frama-c-doc/intro_plugin_D_and_S.txt |
-rw-r--r-- | 2227 | root | root | /usr/share/doc/frama-c-doc/intro_plugin_default.txt |
-rw-r--r-- | 2122 | root | root | /usr/share/doc/frama-c-doc/intro_scope.txt |
-rw-r--r-- | 4583 | root | root | /usr/share/doc/frama-c-doc/intro_slicing.txt |
-rw-r--r-- | 2881 | root | root | /usr/share/doc/frama-c-doc/intro_sparecode.txt |
-rw-r--r-- | 1837 | root | root | /usr/share/doc/frama-c-doc/intro_wp.txt |
-rw-r--r-- | 682613 | root | root | /usr/share/doc/frama-c-doc/metrics-manual.pdf |
-rw-r--r-- | 1252962 | root | root | /usr/share/doc/frama-c-doc/plugin-development-guide.pdf |
-rw-r--r-- | 560205 | root | root | /usr/share/doc/frama-c-doc/rte-manual.pdf |
-rw-r--r-- | 957911 | root | root | /usr/share/doc/frama-c-doc/value-analysis.pdf |
-rw-r--r-- | 825117 | root | root | /usr/share/doc/frama-c-doc/wp-manual.pdf |