diff options
Diffstat (limited to '_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 |