# Generated by cargo
charon/target
charon/*/target
charon/tests/cargo/**/target

# Temporary files we don't want to commit
charon-ml/tests/serialized
/bin

# Generated by charon
*.llbc
*.ullbc
*.postcard

# Generated by dune
_build

# Generated by opam
_opam

# Generated by Nix
result

# These are backup files generated by rustfmt
**/*.rs.bk

# Temporary files generated by emacs
nohup.out
*~

# Other
__pycache__
.vscode
*#
*.smt2
.#*
**/.DS_Store
