package info
(click to toggle)
Folder: 1.6.4-3
 |
.. (parent) | |||
|
d | rwxr-xr-x | 23 | .circleci |
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 108 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | examples |
|
d | rwxr-xr-x | 4,096 | plugin |
|
d | rwxr-xr-x | 4,096 | quickChickTool |
|
d | rwxr-xr-x | 66 | scripts |
|
d | rwxr-xr-x | 4,096 | sf-experiment |
|
d | rwxr-xr-x | 4,096 | src |
|
d | rwxr-xr-x | 86 | test |
 |
- | rw-r--r-- | 100 | .gitattributes |
|
- | rw-r--r-- | 688 | .gitignore |
|
- | rw-r--r-- | 5,463 | CHANGELOG.md |
|
- | rw-r--r-- | 658 | CONTRIBUTING.md |
|
- | rw-r--r-- | 217 | Dockerfile |
|
- | rw-r--r-- | 218 | Dockerfile.8.11 |
|
- | rw-r--r-- | 218 | Dockerfile.8.12 |
|
- | rw-r--r-- | 7,726 | DocumentationCheck.v |
|
- | rw-r--r-- | 1,161 | LICENSE |
|
- | rw-r--r-- | 3,130 | Makefile |
|
- | rw-r--r-- | 190 | Makefile.coq.local |
|
- | rw-r--r-- | 244 | PROFILING |
|
- | rw-r--r-- | 32,300 | QuickChickInterface.v |
|
- | rw-r--r-- | 3,558 | README.md |
|
- | rw-r--r-- | 3,036 | TODOQC.org |
|
- | rw-r--r-- | 1,474 | _CoqProject.cppo |
|
- | rw-r--r-- | 980 | coq-quickchick.opam |
|
- | rw-r--r-- | 73 | dune-project |
|
- | rw-r--r-- | 182 | example.dir-locals.el |