diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 94 |
1 files changed, 47 insertions, 47 deletions
@@ -14,54 +14,54 @@ # Emacs saves *~ # Executables and configuration -ccomp -ccomp.byte -ccomp.prof -clightgen -clightgen.byte -tools/ndfun -tools/modorder -Makefile.config -.merlin -_CoqProject +/ccomp +/ccomp.byte +/ccomp.prof +/clightgen +/clightgen.byte +/tools/ndfun +/tools/modorder +/Makefile.config +/.merlin +/_CoqProject # Generated files -.depend -.depend.extr -compcert.ini -x86/ConstpropOp.v -x86/SelectOp.v -x86/SelectLong.v -powerpc/ConstpropOp.v -powerpc/SelectOp.v -powerpc/SelectLong.v -arm/ConstpropOp.v -arm/SelectOp.v -arm/SelectLong.v -riscV/ConstpropOp.v -riscV/SelectOp.v -riscV/SelectLong.v -backend/SelectDiv.v -backend/SplitLong.v -cparser/Parser.v -cparser/Lexer.ml -cparser/pre_parser.ml -cparser/pre_parser.mli -cparser/pre_parser_messages.ml -cparser/pre_parser.automaton -cparser/pre_parser.messages -cparser/handcrafted.messages.bak -cparser/handcrafted.messages.raw -cparser/deLexer -cparser/tests/generated/*.c -cparser/tests/generated/*.err -lib/Readconfig.ml -lib/Tokenize.ml -lib/Responsefile.ml -driver/Version.ml +/.depend +/.depend.extr +/compcert.ini +/x86/ConstpropOp.v +/x86/SelectOp.v +/x86/SelectLong.v +/powerpc/ConstpropOp.v +/powerpc/SelectOp.v +/powerpc/SelectLong.v +/arm/ConstpropOp.v +/arm/SelectOp.v +/arm/SelectLong.v +/riscV/ConstpropOp.v +/riscV/SelectOp.v +/riscV/SelectLong.v +/backend/SelectDiv.v +/backend/SplitLong.v +/cparser/Parser.v +/cparser/Lexer.ml +/cparser/pre_parser.ml +/cparser/pre_parser.mli +/cparser/pre_parser_messages.ml +/cparser/pre_parser.automaton +/cparser/pre_parser.messages +/cparser/handcrafted.messages.bak +/cparser/handcrafted.messages.raw +/cparser/deLexer +/cparser/tests/generated/*.c +/cparser/tests/generated/*.err +/lib/Readconfig.ml +/lib/Tokenize.ml +/lib/Responsefile.ml +/driver/Version.ml # Documentation -doc/coq2html -doc/coq2html.ml -doc/html -doc/html/ +/doc/coq2html +/doc/coq2html.ml +/doc/html +/doc/html/ # MacOS metadata .DS_Store |