.gitignore

# Object files, in general
*.o
*.a
*.cmi
*.cmo
*.cmx
*.cma
*.cmxa
*.cmxs
.*.aux
*.cmti
*.cmt
*.merlin
# Emacs saves
*~
# Executables and configuration
CONFIGURE
VST.config
compcert/ccomp
compcert/ccomp.byte
compcert/ccomp.prof
compcert/clightgen
compcert/clightgen.byte
compcert/tools/ndfun
compcert/tools/modorder
# 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
*.vos
*.vok
*.glob
*.timing
*.prof.json
*.prof.json.gz
*.v.d
.depend
.loadpath
.loadpath-export
version.v
coqide
*.cache
*~
*#
.#*
*.aux
doc/html/
/_CoqProject
.loadpath-export
_CoqProject-export
wand_demo/vfa/*.ml
wand_demo/vfa/*.mli
wand/vfa/*.ml
wand/vfa/*.mli
*.vok
*.vos
doc/concurrency.synctex.gz
a.exe

lib/CoqMakefile
lib/CoqMakefile.conf
lib/.CoqMakefile.d
lib/proof/math_extern.v
lib/proof/malloc_extern.v
lib/proof/SC_atomics_extern.v

zlist/.Makefile.coq.d
zlist/Makefile.coq
zlist/Makefile.coq.conf