*~
*.o
*.a
*.d
*.cm*
*.so
*.exe
*.exe.dSYM
*.cmi
*.cmx
*.cmxa
out.krml
.depend
.output

hacl-star.tar.gz

build/
build-experimental/

test/basics/c-test
test/basics/ml-test
test/hash/sha256
test/hmac/ml/*
test/hmac/hmac_sha256
test/bench.txt

pneutube/tube-star.exe
pneutube/tube-star.exe.dSYM/
pneutube/tube/

specs/*-ml/

code/lib/kremlin/ccomp-c/
code/lib/kremlin/lib-c/

code/sha3/sha3-c
code/hash/sha2-c/
code/hash/sha2-c-test/
code/hash/sha2-256-c/
code/hash/sha2-384-c/
code/hash/sha2-512-c/
code/hash/blake2s-c/
code/hmac/hmac-sha256-c/
code/hmac/hmac-sha384-c/
code/hmac/hmac-sha512-c/
code/api/aead-c/
code/api/box-c/
code/api/policies-c/
code/curve25519/x25519-c/
code/ed25519/ed25519-c/
code/poly1305/poly-c/
code/poly1305_32/poly-c/
code/salsa-family/vec128.h
code/salsa-family/chacha-c/
code/salsa-family/chacha-vec128/
code/salsa-family/chacha-vec128-c/
code/salsa-family/hsalsa-c/
code/salsa-family/salsa-c/
code/salsa-family/xsalsa-c/
code/uint128/uint128-c/
code/mpfr/mpfr-c/

providers/.cache
providers/.depend
providers/.output
providers/generated
providers/out
providers/multiplexer/ml/*.cm?

secure_api/.depend.*
secure_api/LowCProvider/*.cm?
secure_api/out
secure_api/tmp-hacl/
secure_api/tmp-vale/

snapshots/hacl-c/bench.txt
snapshots/hacl-c/libhacl.*
snapshots/hacl-c/libhacl32.*
snapshots/snapshot-gcc
snapshots/snapshot-gcc-unrolled
snapshots/snapshot-compcert
snapshots/snapshot-compcert-unrolled
snapshots/snapshot-msvc
snapshots/snapshot-msvc-unrolled
snapshots/nss
snapshots/riot
snapshots/wireguard

doc/tutorial/0-coding-field-arithmetic-in-fstar/extracted_c/
doc/tutorial/1-recursion-vs-loops/extracted_c/
doc/tutorial/2-verifying-memory-safety/extracted_c/
doc/tutorial/4-verifying-functional-correctness/extracted_c/

dependencies
*.checked.lax
*.checked