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.
64 lines
1.4 KiB
64 lines
1.4 KiB
# Environment Configuration Template
|
|
# Copy this file to .env and fill in your actual values
|
|
|
|
# SiliconFlow DeepSeek V3.1 Configuration
|
|
SILICONFLOW_API_KEY=YOUR_SILICONFLOW_API_KEY_HERE
|
|
SILICONFLOW_MODEL=deepseek-ai/DeepSeek-V3.1
|
|
SILICONFLOW_BASE_URL=https://api.siliconflow.cn/v1
|
|
|
|
# CBMC Configuration
|
|
CBMC_PATH=cbmc
|
|
CBMC_VERSION_MIN=5.0
|
|
CBMC_DEFAULT_UNWINDING=10
|
|
CBMC_DEFAULT_TIMEOUT=300
|
|
|
|
# LLM Generation Configuration
|
|
LLM_TIMEOUT=120
|
|
LLM_MAX_RETRIES=3
|
|
LLM_RETRY_DELAY=1.0
|
|
LLM_RATE_LIMIT_DELAY=5.0
|
|
LLM_MAX_CONCURRENT_REQUESTS=3
|
|
LLM_TEMPERATURE=0.7
|
|
LLM_MAX_TOKENS=4096
|
|
LLM_TOP_P=0.95
|
|
LLM_STREAMING_ENABLED=True
|
|
|
|
# Specification Storage Configuration
|
|
SPEC_STORAGE_PATH=specifications
|
|
SPEC_ENABLE_VERSIONING=True
|
|
SPEC_MAX_VERSIONS=10
|
|
SPEC_FORMAT=json
|
|
SPEC_CLEANUP_INTERVAL=86400
|
|
|
|
# Specification Validation Configuration
|
|
SPEC_VALIDATION_ENABLED=True
|
|
SPEC_QUALITY_SYNTAX_THRESHOLD=0.9
|
|
SPEC_QUALITY_LOGIC_THRESHOLD=0.8
|
|
SPEC_QUALITY_COMPLETENESS_THRESHOLD=0.7
|
|
SPEC_QUALITY_OVERALL_THRESHOLD=0.75
|
|
SPEC_AUTO_REFINE=True
|
|
SPEC_MAX_REFINEMENTS=3
|
|
|
|
# Web Server Configuration
|
|
FLASK_ENV=development
|
|
FLASK_DEBUG=True
|
|
FLASK_HOST=0.0.0.0
|
|
FLASK_PORT=8080
|
|
|
|
# Logging Configuration
|
|
LOG_LEVEL=INFO
|
|
LOG_DIR=logs
|
|
LOG_MAX_SIZE=10MB
|
|
LOG_BACKUP_COUNT=5
|
|
|
|
# Project Configuration
|
|
PROJECT_NAME=Formal Spec Generator
|
|
PROJECT_VERSION=0.1.0
|
|
MAX_CONCURRENT_VERIFICATIONS=3
|
|
CACHE_ENABLED=True
|
|
CACHE_TTL=3600
|
|
|
|
# Development Settings
|
|
DEV_MODE=True
|
|
TEST_MODE=False
|
|
SHOW_DEBUG_INFO=True |