# Python
__pycache__/
*.py[cod]
*$py.class
*.so
.Python
build/
develop-eggs/
dist/
downloads/
eggs/
.eggs/
lib/
lib64/
parts/
sdist/
var/
wheels/
pip-wheel-metadata/
share/python-wheels/
*.egg-info/
.installed.cfg
*.egg
MANIFEST

# Virtual environments
.env
.venv
env/
venv/
ENV/
env.bak/
venv.bak/

# IDE
.idea/
.vscode/
*.swp
*.swo
*~

# OS
.DS_Store
.DS_Store?
._*
.Spotlight-V100
.Trashes
ehthumbs.db
Thumbs.db

# Logs
logs/
*.log

# Configuration
config/local.yaml
config/production.yaml

# Temporary files
tmp/
temp/
*.tmp
*.temp

# CBMC outputs
cbmc/*.out
cbmc/*.err
cbmc/*.cbmc-out
cbmc/*.trace

# Test coverage
htmlcov/
.coverage
.coverage.*
.cache
nosetests.xml
coverage.xml
*.cover
.hypothesis/
.pytest_cache/

# Documentation
docs/_build/
docs/build/

# Node.js (if frontend)
node_modules/
npm-debug.log*
yarn-debug.log*
yarn-error.log*

# Database
*.db
*.sqlite
*.sqlite3

# Compressed files
*.zip
*.tar.gz
*.rar

# Binaries
*.exe
*.dll
*.dylib
*.bin

# Project specific
*.harness
*.proof
*.witness
results/
output/

# Keep existing entries
CLAUDE.md