summaryrefslogtreecommitdiff
path: root/tests/coq/misc/_CoqProject
diff options
context:
space:
mode:
authorSon Ho2022-11-13 23:00:38 +0100
committerSon HO2022-11-14 14:21:04 +0100
commitfc21cf96f80ccb7e6455c057987bb0ff4597c0bb (patch)
treec06b0110bd123fb1e4959b774a5757e884d63df8 /tests/coq/misc/_CoqProject
parent6db835db88c4bcf0e00ce1a7a6bc396382b393c3 (diff)
Make good progress on the Coq backend
Diffstat (limited to '')
-rw-r--r--tests/coq/misc/_CoqProject12
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/coq/misc/_CoqProject b/tests/coq/misc/_CoqProject
new file mode 100644
index 00000000..7f4981fa
--- /dev/null
+++ b/tests/coq/misc/_CoqProject
@@ -0,0 +1,12 @@
+-R . Lib
+-arg -w
+-arg all
+
+Primitives.v
+
+Constants.v
+External__Funs.v
+External__Opaque.v
+External__Types.v
+NoNestedBorrows.v
+Paper.v \ No newline at end of file