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.
cbmc/codedetect/requirements.txt

45 lines
601 B

# Web Framework
Flask==2.3.3
Flask-CORS==4.0.0
Flask-SocketIO==5.3.6
Werkzeug==2.3.7
# WebSocket
python-socketio==5.8.0
eventlet==0.33.3
# C/C++ Parsing
pycparser==2.21
clang==6.0.0
# LLM Integration
requests==2.31.0
aiohttp>=3.8
# Data Processing
pandas==2.0.3
numpy==1.24.3
# Configuration
pyyaml==6.0.1
python-dotenv==1.0.0
# Testing
pytest==7.4.2
pytest-cov==4.1.0
pytest-mock==3.11.1
pytest-asyncio==0.21.1
# Utilities
click==8.1.7
colorama==0.4.6
tqdm==4.66.1
python-json-logger==2.0.7
psutil==5.9.5
matplotlib==3.7.2
seaborn==0.12.2
# Development
black==23.7.0
flake8==6.1.0
mypy==1.5.1