diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-03-19 15:09:59 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-19 15:09:59 +0000 |
| commit | 83e716e65a3d497387e6bf8f33de29fff3bd269d (patch) | |
| tree | 46a96b9b6e3038adb4d866b9a8e886e96ec247b7 /_CoqProject | |
| parent | 2217a79966ec6a3ff84ba9da4cdb9d511c1c8b23 (diff) | |
| download | vericert-kvx-83e716e65a3d497387e6bf8f33de29fff3bd269d.tar.gz vericert-kvx-83e716e65a3d497387e6bf8f33de29fff3bd269d.zip | |
Update names of directories
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/_CoqProject b/_CoqProject index 2ac5d91..5fac407 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,8 +1,8 @@ --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 src/common coqup.common +-R src/verilog coqup.verilog +-R src/driver coqup.driver +-R src/extraction coqup.extraction +-R src/translation coqup.translation -R lib/CompCert/lib compcert.lib -R lib/CompCert/common compcert.common |