diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-30 12:27:38 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-30 12:27:38 +0100 |
| commit | 35d1117670adc0b7e50e464e781372262588ea7a (patch) | |
| tree | 97fec1ca3fbbed5e9cb3714984884a26a1fd3e14 /.gitignore | |
| parent | a4b766d7b50be79a1d983dbe5f234e951ba0aa46 (diff) | |
| download | compcert-kvx-35d1117670adc0b7e50e464e781372262588ea7a.tar.gz compcert-kvx-35d1117670adc0b7e50e464e781372262588ea7a.zip | |
cparser/Parser.v is generated.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -35,6 +35,7 @@ backend/SelectLong.v backend/CMlexer.ml backend/CMparser.ml backend/CMparser.mli +cparser/Parser.v cparser/Lexer.ml cparser/pre_parser.ml cparser/pre_parser.mli |