You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
116 lines
1.0 KiB
116 lines
1.0 KiB
# 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 |