package info
(click to toggle)
Folder: test-suite
 |
.. (parent) | |||
|
d | rwxr-xr-x | 54 | bench |
|
d | rwxr-xr-x | 95 | bugs |
|
d | rwxr-xr-x | 4,096 | complexity |
|
d | rwxr-xr-x | 48 | coqchk |
|
d | rwxr-xr-x | 28 | coqdoc |
|
d | rwxr-xr-x | 4,096 | failure |
|
d | rwxr-xr-x | 4,096 | ide |
|
d | rwxr-xr-x | 4,096 | ideal-features |
|
d | rwxr-xr-x | 139 | interactive |
|
d | rwxr-xr-x | 28 | kernel |
|
d | rwxr-xr-x | 4,096 | micromega |
|
d | rwxr-xr-x | 70 | misc |
|
d | rwxr-xr-x | 4,096 | modules |
|
d | rwxr-xr-x | 4,096 | output |
|
d | rwxr-xr-x | 112 | output-modulo-time |
|
d | rwxr-xr-x | 77 | prerequisite |
|
d | rwxr-xr-x | 54 | stm |
|
d | rwxr-xr-x | 8,192 | success |
|
d | rwxr-xr-x | 151 | typeclasses |
|
d | rwxr-xr-x | 104 | vio |
 |
- | rw-r--r-- | 89,077 | .csdp.cache |
|
- | rw-r--r-- | 19,288 | Makefile |
|
- | rw-r--r-- | 26 | _CoqProject |
|
- | rwxr-xr-x | 109 | check |