From 3f2d479fb6c74c4f06ea12aa6bf08cc06cab240a Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 28 Jul 2022 11:28:14 +0100 Subject: Add _CoqProject --- _CoqProject | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 _CoqProject diff --git a/_CoqProject b/_CoqProject new file mode 100644 index 0000000..dbdebb4 --- /dev/null +++ b/_CoqProject @@ -0,0 +1,11 @@ +-R src vericert +-R lib/CompCert/lib compcert.lib +-R lib/CompCert/common compcert.common +-R lib/CompCert/verilog compcert.verilog +-R lib/CompCert/backend compcert.backend +-R lib/CompCert/cfrontend compcert.cfrontend +-R lib/CompCert/driver compcert.driver +-R lib/CompCert/cparser compcert.cparser +-R lib/CompCert/flocq Flocq +-R lib/CompCert/MenhirLib MenhirLib +-Q . symb -- cgit