From 23ef9ca2122c9677cc16adab6c1dc7d928b469be Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 28 Jul 2022 11:29:56 +0100 Subject: Update _CoqProject --- _CoqProject | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/_CoqProject b/_CoqProject index dbdebb4..2255ae0 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,11 +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 +-R ../vericert/src vericert +-R ../vericert/lib/CompCert/lib compcert.lib +-R ../vericert/lib/CompCert/common compcert.common +-R ../vericert/lib/CompCert/verilog compcert.verilog +-R ../vericert/lib/CompCert/backend compcert.backend +-R ../vericert/lib/CompCert/cfrontend compcert.cfrontend +-R ../vericert/lib/CompCert/driver compcert.driver +-R ../vericert/lib/CompCert/cparser compcert.cparser +-R ../vericert/lib/CompCert/flocq Flocq +-R ../vericert/lib/CompCert/MenhirLib MenhirLib -Q . symb -- cgit