*.annot
*.cache

# ocamlbuild working directory
_build/

# ocamlbuild targets
*.byte
*.native

# oasis generated files
setup.data
setup.log

# generated by coq
*.glob
*.v.d
*.aux
*.vo
*.vok
*.vos
*.d
.lia.cache
.nia.cache

# targets of coq_makefile:
src/Makefile.conf
src/g_smtcoq.ml

# generated by the Makefile
src/uninstall_me.sh

# .ml files generated by ocamllex from a .mll, regenerate list using
# find . -name '*.mll' | sed -e 's/^.\(.*\).$/\1/g'
/src/smtlib2/sExprLexer.ml
/src/lfsc/lfscLexer.ml
/src/verit/veritLexer.ml
/3rdparty/alt-ergo/smtlib2_lex.ml

# .ml files generated by ocamlyacc from a .mly, regenerate list using
# find . -name '*.mly' | sed -e 's/^.\(.*\).$/\1/g'
/src/smtlib2/sExprParser.ml
/src/lfsc/lfscParser.ml
/src/verit/veritParser.ml
/3rdparty/alt-ergo/smtlib2_parse.ml

# .mli files generated by ocamlyacc from a .mly, regenerate list using
find . -name '*.mly' | sed -e 's/^.\(.*\).$/\1i/g'
/src/smtlib2/sExprParser.mli
/src/lfsc/lfscParser.mli
/src/verit/veritParser.mli
/3rdparty/alt-ergo/smtlib2_parse.mli

# compiled OCaml files
*.cmt
*.cmti
*.cmi
*.cmo
*.cma
*.cmx
*.cmxs
*.cmxa
*.ml.d
*.mli.d
*.ml4.d
*.o
*.a
*.mlpack.d
src/extraction/.Makefile.swp
src/extraction/smtcoq

# proof certificates
*.vtlog
*.zlog