.gitignore

# Object files, in general
*.o
*.a
*.cmi
*.cmo
*.cmx
*.cma
*.cmxa
.*.aux
*.cmti
*.cmt
*.merlin
# Emacs saves
*~
# Executables and configuration
CONFIGURE
compcert/ccomp
compcert/ccomp.byte
compcert/ccomp.prof
compcert/clightgen
compcert/clightgen.byte
compcert/tools/ndfun
compcert/tools/modorder
compcert/Makefile.config
# Generated files
compcert/.depend.extr
compcert/compcert.ini
compcert/ia32/ConstpropOp.v
compcert/ia32/SelectOp.v
compcert/powerpc/ConstpropOp.v
compcert/powerpc/SelectOp.v
compcert/arm/ConstpropOp.v
compcert/arm/SelectOp.v
compcert/backend/SelectDiv.v
compcert/backend/SelectLong.v
compcert/backend/CMlexer.ml
compcert/backend/CMparser.ml
compcert/backend/CMparser.mli
compcert/cparser/Parser.v
compcert/cparser/Lexer.ml
compcert/cparser/pre_parser.ml
compcert/cparser/pre_parser.mli
compcert/cparser/pre_parser_messages.ml
compcert/cparser/pre_parser.automaton
compcert/cparser/pre_parser.messages
compcert/cparser/handcrafted.messages.bak
compcert/cparser/handcrafted.messages.raw
compcert/cparser/deLexer
compcert/cparser/tests/generated/*.c
compcert/cparser/tests/generated/*.err
compcert/backend/CMparser.automaton
compcert/lib/Readconfig.ml
compcert/lib/Tokenize.ml
compcert/driver/Version.ml
compcert/# Documentation
compcert/doc/coq2html
compcert/doc/coq2html.ml
compcert/doc/html
compcert/doc/html/

compcert/extraction/
compcert/test/

*.vo
*.glob
*.v.d
.depend
.loadpath
version.v
coqide
*.cache
*~
*#
.#*
*.aux
_CoqProject