mojtaba-eshghie/Sindi

Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts

语言：Solidity · GitHub 星标：10 · Fork：1

话题：difference · equivalence-checker · invariants · rewrite-rules · semantic-analysis · semantic-equivalence · smart-contracts · solidity

在 GitHub 上查看原仓库