🔍 SwiftSC Analyzer

Static analysis and formal verification tools for SwiftSC smart contracts.

🚀 Features

• Semantic Analysis: Advanced checks for contract safety and logic.
• Formal Verification: Experimental support for proving contract properties.
• Gas Estimation: Static analysis of gas consumption.

🤝 Contributing

See CONTRIBUTING.md for details.

📄 License

MIT