A merge of quic2c_parsers into verify, shaken and stirred.

.gitattributes

@@ -1,3 +1,4 @@
 *.fs* eol=lf
 *.ml* eol=lf
+*.sh text eol=lf
 Makefile eol=lf

.gitignore

@@ -40,3 +40,25 @@ 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
+

.hacl_version

@@ -0,0 +1 @@
+origin/c_mitls2c

.kremlin_version

@@ -0,0 +1 @@
+origin/fstar-master

apps/cmitls/Makefile

@@ -0,0 +1,70 @@
+MITLS_HOME ?= ../..
+FSTAR_HOME ?= ../../../FStar
+MLCRYPTO_HOME ?= ../../../MLCrypto
+
+include $(FSTAR_HOME)/ulib/ml/Makefile.include
+
+UNAME=$(shell uname)
+MARCH?=x86_64
+
+ifeq ($(OS),Windows_NT)
+  LIBMITLS=libmitls.dll
+  LIBPKI=libmipki.dll
+  OPENSSL=libcrypto-*.dll
+  CC?=$(MARCH)-w64-mingw32-gcc
+  PIC=
+  WINSOCK=-lws2_32
+	ifeq ($(shell uname -o),Cygwin)
+	  MITLS_HOME := $(shell cygpath -u ${MITLS_HOME})
+	  MLCRYPTO_HOME := $(shell cygpath -u ${MLCRYPTO_HOME})
+	endif
+  PATH := $(MITLS_HOME)/src/pki:$(MITLS_HOME)/src/tls/extract/Kremlin-Library:$(MLCRYPTO_HOME)/openssl:$(PATH)
+  export PATH
+else ifeq ($(UNAME),Darwin)
+  LIBMITLS=libmitls.so
+  LIBPKI=libmipki.so
+  PIC=-fPIC
+  WINSOCK=
+  DYLD_LIBRARY_PATH := $(MITLS_HOME)/src/pki:$(MITLS_HOME)/src/tls/extract/Kremlin-Library:$(DYLD_LIBRARY_PATH)
+  export DYLD_LIBRARY_PATH
+else ifeq ($(UNAME),Linux)
+  LIBMITLS=libmitls.so
+  LIBPKI=libmipki.so
+  PIC=-fPIC -lpthread
+  WINSOCK=
+  LD_LIBRARY_PATH := $(MITLS_HOME)/src/pki:$(MITLS_HOME)/src/tls/extract/Kremlin-Library:$(MLCRYPTO_HOME)/openssl:$(LD_LIBRARY_PATH)
+  export LD_LIBRARY_PATH
+endif
+
+all: cmitls.exe
+
+clean:
+	rm -rf *.o *.exe *.dll *~
+
+$(MITLS_HOME)/src/pki/$(LIBPKI):
+	$(MAKE) -C ../../src/pki
+
+$(MITLS_HOME)/src/tls/extract/Kremlin-Library/$(LIBMITLS):
+	$(MAKE) -j8 -C ../../src/tls -f Makefile.Kremlin build-library
+
+copy: $(LIBMITLS) $(LIBPKI)
+
+$(LIBMITLS): $(MITLS_HOME)/src/tls/extract/Kremlin-Library/$(LIBMITLS)
+	cp $(MITLS_HOME)/src/tls/extract/Kremlin-Library/$(LIBMITLS) .
+
+$(LIBPKI): $(MITLS_HOME)/src/pki/$(LIBPKI)
+	cp $(MITLS_HOME)/src/pki/$(LIBPKI) .
+	cp $(MLCRYPTO_HOME)/openssl/$(OPENSSL) .
+
+cmitls.exe: cmitls.c \
+	$(MITLS_HOME)/src/pki/$(LIBPKI) \
+	$(MITLS_HOME)/src/tls/extract/Kremlin-Library/$(LIBMITLS)
+	$(CC) -I../../src/pki -I../../libs/ffi \
+	  -L$(MITLS_HOME)/src/pki \
+	  -L$(MITLS_HOME)/src/tls/extract/Kremlin-Library \
+	  -L$(MLCRYPTO_HOME)/openssl \
+	  -lmitls -lmipki $(PIC) cmitls.c -o cmitls.exe $(WINSOCK)
+
+test: cmitls.exe
+	./cmitls.exe google.com 443
+	./cmitls.exe tls13.cloudflare.com 443