.gitignore

# Dune build directory
_build

# Dune temporary files
*.install

# Merlin files are generated by Dune
.merlin

# Lem generation stuff
ocaml_frontend/lem.log
sibylfs/lem.log
ocaml_frontend/generated
sibylfs/generated

# Elaboration PP tex generation
generated_tex/

public/node_modules/


*~
cerberus-webserver
config.json
webcerb.concrete
webcerb.symbolic
webcerb.vip
.vscode/settings.json

a.out
/tests/csmith/**/LOG
/tests/csmith/**/LOG.old
public/dist/main.bundle.js
public/dist/main.bundle.js.map
public/dist/style.bundle.css
public/dist/style.bundle.css.map
public/package-lock.json
/.ignore
/backend/cheri/cerb.prof
/cerb.prof

# Coq generated files
*.vo
*.vok
*.vos
*.glob
*.aux
*.log
*.html
*.vty
*.vti

# debug stuff
log*.txt
*.cache
cerberus.code-workspace
.vscode/tasks.json
.cursorignore
cerb_times.csv