*.annot
*.cmo
*.cma
*.cmi
*.cmt
*.cmti
*.a
*.o
*.cmx
*.cmxs
*.cmxa

# ocamlbuild working directory
_build/

# ocamlbuild targets
*.byte
*.native

# oasis generated files
setup.data
setup.log

# Merlin configuring file for Vim and Emacs
.merlin

# Frama-c generated files
Deadlock.check_mli_exists
.Makefile.plugin.generated
META.frama-c-deadlock
top
gui
*.frama-c

# Documentation
doc
todos

# Vim
*.swp
*.swo

# Python
__pycache__

# Test results
tests/results
experiments

# Misc
models/svcomp
