GitHub repository: mojtaba-eshghie/SInDi
Primary language: Python
Description: SInDi: Semantic Invariant Differencing for Solidity Smart Contracts