.gitignore

*~
\#*\#
*.vspx
*.psess
*.suo
*.smt2
*.sav
*.p.fs*
transcript*
cache/
/VS/packages

src/tls-ml/*.ml

attic/
_build/

*.native*
*.byte*

/.nubuild
/nucache
/nuobj

*.swp
*~

src/tls/libmitls.dll
libs/ffi/FFI.o
libs/ffi/dllFFICallbacks.dll
libs/ffi/dllFFICallbacks.so
libs/ffi/FFICallbacks.a
libs/ffi/FFICallbacks.cmi
libs/ffi/FFICallbacks.cmx
libs/ffi/FFICallbacks.cmxa
libs/ffi/FFICallbacks.o
libs/ffi/FFIRegister.cmi
libs/ffi/FFIRegister.cmx
libs/ffi/FFIRegister.o
libs/ffi/libFFIcallbacks.a
src/tls/server13.exe
src/tls/client13.exe

apps/*/*.dll
apps/*/*.so
apps/*/*.exe

.fstar_version
src/pki/*.dll
src/pki/*.so
src/pki/*.exe
src/tls/*.dll
src/tls/*.lib
src/tls/*.exe
src/tls/*.so
libs/ffi/*.o
libs/ffi/*.dll
libs/ffi/*.so
libs/ffi/*.a
libs/ffi/*.cm*

src/tls/krml_output/*.c
src/tls/krml_output/*.h