.gitignore

################################################################################
# Felix
################################################################################
topozoo/
frenetic.log
openflow.log
query.txt
predicates.json

################################################################################
# vim
################################################################################
[._]*.s[a-w][a-z]
[._]s[a-w][a-z]
*.un~
Session.vim
.netrwhist
*~

################################################################################
# OCaml
################################################################################
*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa

# ocamlbuild working directory
_build/

# ocamlbuild targets
*.byte
*.native

# oasis generated files
setup.data
setup.log

# https://github.com/the-lambda-church/merlin
.merlin