# Build artifacts
target
examine_*.ast
verification/.build/
verification/_build/
verification/*.vo
verification/*.vok
verification/*.vos
verification/*.glob
verification/*.aux
verification/.*.aux

# OCaml extraction + dune build
verification/_build/
verification/ocaml_exports/*.ml
verification/ocaml_exports/*.mli


# Virtual environments
.venv
.env

# Temporary files
tmp
proptest
proptest-regressions/

# Validation reports
src/validation/reports/

# Profiling data
perf.data*
test.perf
flamegraph.svg

# IDE
.idea/
.vscode/
*.swp
*.swo
.opencode
.code-workspace
.ruff_cache
**/.ipynb_checkpoints

# Python
__pycache__/
*.py[cod]
*$py.class
*.so
*.egg-info/
dist/
build/
*.egg
docs/
# Rust
**/*.rs.bk

# OS
.DS_Store
Thumbs.db
draft/refs/
