.gitignore
*~
*.o
*.a
*.d
*.cm*
*.so
*.a
*.exe
*.exe.dSYM
*.cmi
*.cmx
*.cmxa
out.krml
*.checked
*.checked.lax
*.dump
.extracted
.*depend*
code/old/**/*-c
code/old/**/*-c89
.evercrypt_config
code/**/dist
!code/**/dist/Makefile
*.orig
.didhelp
.last_vale_version
Makefile.config
.#*
tests/benchmark/build