Content - edcf4d05ab20921cd62e8a5e0dd2d4a91009a271 - 36b3f38/.gitignore

visit type:

Tip revision: 68dcfb3167546a2988944078f75f247043b3400b authored by Victor Dumitrescu on 01 July 2021, 16:37:19 UTC
Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc

Tip revision: 68dcfb3

.gitignore

*~
*.o
*.d
*.d.*
*.cm*
*.so
*.dll
*.a
*.exe
*.exe.dSYM
out.krml
*.checked
*.checked.lax
*.dump
.extracted
.*depend*
.evercrypt_config
code/**/dist
!code/**/dist/Makefile
code/old/experimental/aesgcm/aesgcm-c
code/old/experimental/aesgcm/aesgcm-c89
*.orig
.didhelp
.last_vale_version
Makefile.config
.#*
tests/benchmark/build
dist/**/lib/*_stubs.ml
dist/**/lib/*_c_stubs.c
doc/_build
config.h
*.smt2

Browse the archive

https://github.com/project-everest/hacl-star