.gitignore

# HOL stuff
*Script
*Theory.sig
*Theory.sml
*Theory.dat
*.uo
*.ui
*.o
.HOLMK
.hollogs

# Sample
sample-code/cake
sample-code/pure
sample-code/pure.tar.gz
sample-code/factorials
sample-code/arrays
sample-code/strings
sample-code/lists
sample-code/data
sample-code/long_compile_time

# TacticToe
*Script_ttt.sml

# Generated assembly
*.S

# Generated tarball
cake-x64-64.tar.gz

# Developer generated executables
developers/readme_gen
semantics/addancs
tutorial/solutions/make_ex

# regression test logs
regression.log
timing.log

# HOLHEAP
*heap

# Translator stuff
*_ml.txt
*_hol.txt
*_thm.txt
*_ast.txt
*.ml.txt
*translate_timing.txt

# Emacs backup files
*~

# Vim swap files
*.swp

# Vscode
.vscode/*

# Reference manual
documentation/*.pdf
documentation/*.aux
documentation/*.fdb_latexmk
documentation/*.fls
documentation/*.log
documentation/*.out
documentation/*.pyg
documentation/*.toc
documentation/_minted-reference
documentation/lem-generated

# Compiler Explorer
*.exe
*.cgi

# Benchmarks
compiler/benchmarks/ocaml/*.cmi
compiler/benchmarks/ocaml/*.cmo
compiler/benchmarks/ocaml/*.cmx
compiler/benchmarks/ocaml/ocamlc_*
compiler/benchmarks/ocaml/ocamlopt_*
compiler/benchmarks/cakeml/basis_ffi.c
compiler/benchmarks/cakeml/cakemlc
compiler/benchmarks/cakeml/cake_O4_*
compiler/benchmarks/sml/mlton_*
compiler/benchmarks/sml/polyc_*
compiler/benchmarks/sml/sml_*
compiler/benchmarks/*.dat
compiler/benchmarks/*.eps