GitHub repository: mojtaba-eshghie/PreDi
Primary language: Jupyter Notebook
Description: PreDi: Semantic Solidity Predicate Difference Tool