PreDi: Semantic Solidity Predicate Difference Tool
-
Updated
Sep 15, 2024 - Jupyter Notebook
PreDi: Semantic Solidity Predicate Difference Tool
Repository contains semantic equivalence models for duplicate detection.
Detecting semantically equivalent code clone pairs in two or more code fragments.
Add a description, image, and links to the semantic-equivalence topic page so that developers can more easily learn about it.
To associate your repository with the semantic-equivalence topic, visit your repo's landing page and select "manage topics."