aboutsummaryrefslogtreecommitdiffstats
path: root/_CoqProject
blob: 2ac5d911c6b08891bdd2c08adc87b1e5961bd874 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
-R src/Common CoqUp.Common
-R src/Verilog CoqUp.Verilog
-R src/Driver CoqUp.Driver
-R src/Extraction CoqUp.Extraction
-R src/SMTrans CoqUp.SMTrans

-R lib/CompCert/lib compcert.lib
-R lib/CompCert/common compcert.common
-R lib/CompCert/x86 compcert.x86
-R lib/CompCert/backend compcert.backend
-R lib/CompCert/cfrontend compcert.cfrontend
-R lib/CompCert/driver compcert.driver
-R lib/CompCert/flocq compcert.flocq
-R lib/CompCert/exportclight compcert.exportclight
-R lib/CompCert/cparser compcert.cparser
-R lib/CompCert/MenhirLib compcert.MenhirLib
-R lib/CompCert/x86_64 compcert.x86_64