Revision e3d75453f8ec7ef5c630a91319bf9ea98eee0396 authored by Jason Gross on 26 November 2019, 04:25:21 UTC, committed by GitHub on 26 November 2019, 04:25:21 UTC
Also ignore *.vok
File | Mode | Size |
---|---|---|
.builds | ||
bedrock2 | ||
compiler | ||
deps | ||
end2end | ||
processor | ||
.gitignore | -rw-r--r-- | 826 bytes |
.gitmodules | -rw-r--r-- | 279 bytes |
.travis.yml | -rw-r--r-- | 632 bytes |
AUTHORS | -rw-r--r-- | 51 bytes |
CONTRIBUTORS | -rw-r--r-- | 30 bytes |
LICENSE | -rw-r--r-- | 1.1 KB |
Makefile | -rw-r--r-- | 2.4 KB |
README.md | -rw-r--r-- | 2.0 KB |
coqc-try-mangle-names.sh | -rwxr-xr-x | 855 bytes |
manglenames-stats.sh | -rwxr-xr-x | 520 bytes |
refactor_sed.sh | -rwxr-xr-x | 506 bytes |
unique_coqdep_warnings.sh | -rwxr-xr-x | 98 bytes |
Computing file changes ...