-R src/common coqup.common
-R src/extraction coqup.extraction
-R src/translation coqup.translation
-R src/verilog coqup.verilog
-R src coqup

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