diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-07-28 11:29:56 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-07-28 11:29:56 +0100 |
commit | 23ef9ca2122c9677cc16adab6c1dc7d928b469be (patch) | |
tree | 4ec2d106b81a97c97811244c242913e65398b4a4 | |
parent | 2d2cb14a2461218b9be267ac6fdbea38ce3d2e38 (diff) | |
download | pred-aware-ai-23ef9ca2122c9677cc16adab6c1dc7d928b469be.tar.gz pred-aware-ai-23ef9ca2122c9677cc16adab6c1dc7d928b469be.zip |
Update _CoqProject
-rw-r--r-- | _CoqProject | 20 |
1 files 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 |