package info
(click to toggle)
Folder: 2.1.1-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 31 | .circleci |
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 39 | benchmarks |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 88 | doc |
|
d | rwxr-xr-x | 4,096 | examples |
|
d | rwxr-xr-x | 4,096 | fuzz |
|
d | rwxr-xr-x | 4,096 | plugin |
|
d | rwxr-xr-x | 4,096 | quickChickTool |
|
d | rwxr-xr-x | 101 | scripts |
|
d | rwxr-xr-x | 4,096 | sf-experiment |
|
d | rwxr-xr-x | 4,096 | src |
|
d | rwxr-xr-x | 128 | test |
|
d | rwxr-xr-x | 98 | tutorials |
 |
- | rw-r--r-- | 100 | .gitattributes |
|
- | rw-r--r-- | 836 | .gitignore |
|
- | rw-r--r-- | 8,187 | CHANGELOG.md |
|
- | rw-r--r-- | 658 | CONTRIBUTING.md |
|
- | rw-r--r-- | 1,161 | LICENSE |
|
- | rw-r--r-- | 4,018 | Makefile |
|
- | rw-r--r-- | 172 | Makefile.coq.local |
|
- | rw-r--r-- | 244 | PROFILING |
|
- | rw-r--r-- | 4,273 | README.md |
|
- | rw-r--r-- | 3,036 | TODOQC.org |
|
- | rw-r--r-- | 1,471 | _CoqProject.cppo |
|
- | rw-r--r-- | 58 | _CoqProject.dune |
|
- | rw-r--r-- | 1,203 | coq-quickchick.opam |
|
- | rw-r--r-- | 151 | coq-quickchick.opam.template |
|
- | rw-r--r-- | 59 | dune |
|
- | rw-r--r-- | 914 | dune-project |
|
- | rw-r--r-- | 182 | example.dir-locals.el |