package info
(click to toggle)
Folder: 4.1.0-1
.. (parent) | ||||
d | rwxr-xr-x | 36 | .gitlab | |
d | rwxr-xr-x | 104 | .pc | |
d | rwxr-xr-x | 125 | benchmark | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 4,096 | docs | |
d | rwxr-xr-x | 143 | iris | |
d | rwxr-xr-x | 71 | iris_deprecated | |
d | rwxr-xr-x | 4,096 | iris_heap_lang | |
d | rwxr-xr-x | 85 | iris_unstable | |
d | rwxr-xr-x | 4,096 | tests | |
d | rwxr-xr-x | 4,096 | tex | |
- | rw-r--r-- | 135 | .gitattributes | |
- | rw-r--r-- | 240 | .gitignore | |
- | rw-r--r-- | 1,895 | .gitlab-ci.yml | |
- | rw-r--r-- | 104,341 | CHANGELOG.md | |
- | rw-r--r-- | 6,285 | CONTRIBUTING.md | |
- | rw-r--r-- | 352 | LICENSE | |
- | rw-r--r-- | 1,780 | LICENSE-CODE | |
- | rw-r--r-- | 18,975 | LICENSE-DOCS | |
- | rw-r--r-- | 1,937 | Makefile | |
- | rw-r--r-- | 2,476 | Makefile.coq.local | |
- | rw-r--r-- | 43 | ProofMode.md | |
- | rw-r--r-- | 9,595 | README.md | |
- | rw-r--r-- | 5,806 | _CoqProject | |
- | rw-r--r-- | 617 | coq-iris-deprecated.opam | |
- | rw-r--r-- | 682 | coq-iris-heap-lang.opam | |
- | rw-r--r-- | 660 | coq-iris-unstable.opam | |
- | rw-r--r-- | 1,282 | coq-iris.opam | |
- | rwxr-xr-x | 549 | coq-lint.sh | |
- | rwxr-xr-x | 9,211 | iris-bot | |
- | rwxr-xr-x | 938 | make-package | |
- | rw-r--r-- | 419 | test-normalizer.sed |