SpecGen/__pycache__
Claude Code 89f3e41637 Implement enterprise-grade batch processing system for CBMC SpecGen v2.0
Major Features:
- Complete batch processing system with parallel execution
- Production-grade reliability with error handling and retries
- SHA1-based filename collision prevention
- Comprehensive reporting (JSON, CSV, Markdown, HTML)
- Token bucket rate limiting and burst capacity control
- Graceful shutdown and resume functionality
- Multi-tool architecture for different use cases

Technical Improvements:
- Fixed 13 critical verification issues identified in codebase review
- Enhanced OutputOrganizer with batch file path management
- Implemented exponential backoff retry mechanism for API failures
- Added comprehensive test coverage with 20+ test cases
- Created shared CLI utilities to eliminate duplication
- Improved error handling with zero-division protection
- Standardized directory structure across all components

New Tools:
- batch_folder_flow.py: Production-grade complete solution
- batch_processor.py: Development and debugging core engine
- cbmc_batch.py: Tool selector and comparison guide
- cli_utils.py: Shared argument parsing and validation
- file_job_runner.py: Single file processing with enhanced reliability
- result_aggregator.py: Comprehensive result collection and reporting

Testing & Validation:
- System status checker with comprehensive validation
- Integration tests for CBMC and file processing
- Batch processing simulation with collision prevention
- Edge case testing for resume functionality
- All tests passing with 7/7 system health checks

Documentation:
- Updated README.md with v2.0 features and usage examples
- Created comprehensive USAGE_GUIDE.md
- Added tool comparison and selection guidance
- Enhanced project structure documentation

Performance & Reliability:
- Supports 1-10 parallel workers with configurable rate limiting
- Automatic recovery from network failures and API limits
- Memory-safe operations with proper error handling
- Backward compatible with existing single-file workflow

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-09-17 10:58:56 +08:00
..
generation_prompt.cpython-313.pyc Remove Java/JML functionality and focus on C/C++ CBMC verification 2025-09-16 20:03:37 +08:00
output_organizer.cpython-313.pyc Implement enterprise-grade batch processing system for CBMC SpecGen v2.0 2025-09-17 10:58:56 +08:00