Giters

ScottWe / solintent

Inferring necessary preconditions from Solidity smart contracts.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

solintent

Inferring necessary preconditions from Solidity smart contracts.

About

Inferring necessary preconditions from Solidity smart contracts.

Languages

Language:C++ 97.8%Language:CMake 1.9%Language:Python 0.4%