Added .gitignore and README

.gitignore

@@ -0,0 +1,43 @@
+.*.aux
+.*.d
+*.a
+*.cma
+*.cmi
+*.cmo
+*.cmx
+*.cmxa
+*.cmxs
+*.glob
+*.ml.d
+*.ml4.d
+*.mli.d
+*.mllib.d
+*.mlpack.d
+*.native
+*.o
+*.v.d
+*.vio
+*.vo
+*.vok
+*.vos
+.coq-native/
+.csdp.cache
+.lia.cache
+.nia.cache
+.nlia.cache
+.nra.cache
+csdp.cache
+lia.cache
+nia.cache
+nlia.cache
+nra.cache
+
+# generated timing files
+*.timing.diff
+*.v.after-timing
+*.v.before-timing
+*.v.timing
+time-of-build-after.log
+time-of-build-before.log
+time-of-build-both.log
+time-of-build-pretty.log

README.md

@@ -0,0 +1,7 @@
+# Secure Translation Validation
+
+Work in progress repository for the Secure Translation Validation framework, originally presented in:
+
+    [Matteo Busi, Pierpaolo Degano and Letterio Galletta, Translation Validation for Security Properties, presented at PriSC'19.](https://arxiv.org/abs/1901.05082)
+
+