# global things

*~
.#*
*.bak

*.native
*.byte

a.out

_build/
_sbuild/

z3_problems

# HOL4

.HOLMK
.hollogs
*Theory.dat
*Theory.sig
*Theory.sml
*Theory.ui
*Theory.uo
lib/hol/sail-heap

# Coq

*.vo
*.vok
*.vos
*.glob
.*.aux
/lib/coq/.nia.cache
/lib/coq/deps

# Isabelle

/lib/isabelle/output

# location specific things

/sail

/src/sail.docdir
/src/ast.lem
/src/ast.ml
/src/jib.lem
/src/jib.ml
/src/manifest.ml

/test/sailtest.pyc
/test/typecheck/rtpass*/
/test/typecheck/tests.xml
/test/lem/Out_lemmas.thy
/test/lem/out.lem
/test/lem/out_types.lem
/test/*/tests.xml
/test/riscv/tests/*.iout
/test/smt/*.out
/test/smt/*.smt2
/test/c/*.c
/test/c/*.h
/test/c/*.result
/test/c/*.iresult
/test/c/*.oresult
/test/c/*.bin
/test/c/*_ocaml
/test/c/_sbuild*
/test/coq/.lia.cache
/test/coq/.nia.cache
/test/coq/out.v
/test/coq/out_types.v
/test/mono/Out_lemmas.thy
/test/mono/log
/test/mono/test.cmi
/test/mono/test.cmo
/test/mono/test-output

/language/*.pdf
/language/*.uo
/language/*.ui
/language/*.sig
/language/*.sml
/language/.HOLMK
/language/*.tex
/language/*.aux
/language/*.log
/language/*.dvi
/language/*.ps

/aarch64_small/ArmV8_lemmas.thy
/aarch64_small/armV8.lem
/aarch64_small/armV8.smt_model
/aarch64_small/armV8_types.lem

/aarch64/Aarch64.thy
/aarch64/Aarch64Auxiliary.thy
/aarch64/Aarch64_extras.thy
/aarch64/Aarch64_lemmas.thy
/aarch64/Aarch64_types.thy
/aarch64/aarch64.lem
/aarch64/aarch64_types.lem
/aarch64/z3_problems

/cheri/cheri
/cheri/cheri128

/power/power.lem
/power/power.ml
/power/power_embed.lem
/power/power_embed_sequential.lem
/power/power_embed_types.lem
/power/power_toFromInterp.lem

/x86/x86.lem
/x86/x86.ml
/x86/x86_embed.lem
/x86/x86_embed_sequential.lem
/x86/x86_embed_types.lem
/x86/x86_toFromInterp.lem