#===================
# Generated by Cargo
#===================
# will have compiled files and executables
charon/target
charon/attributes/target
charon/macros/target
charon/tests/cargo/*/target
tests/target
tests/src/betree/target

#===================
# Generated by dune
#===================
_build

#===================
# Generated by Charon
#===================
tests/llbc
*.llbc

##################
# Generated by Nix
##################
result

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

#======
# Other
#======
charon-ml/tests/serialized
/bin

#===================================
# Temporary files generated by emacs
#===================================
nohup.out
*~

#======
# Other
#======
.vscode
*.mir
*.txt
*#
*.smt2
.#*
