GitHub - garbervetsky/ERC-Verisol-Demo: Simple demo showing to use Verisol and Veriman for checking an ERC20 implementation

garbervetsky / ERC-Verisol-Demo Public

Simple demo showing to use Verisol and Veriman for checking an ERC20 implementation

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
Libraries		Libraries
ERC20-0.sol		ERC20-0.sol
ERC20-1.sol		ERC20-1.sol
ERC20-2.sol		ERC20-2.sol
ERC20-Veriman.sol		ERC20-Veriman.sol
ERC20-mod1.sol		ERC20-mod1.sol
ERC20-mod2.sol		ERC20-mod2.sol
ERC20-uf.sol		ERC20-uf.sol
ERC20-uf2.sol		ERC20-uf2.sol
ERC20.sol		ERC20.sol
IERC20.sol		IERC20.sol
SafeMath.sol		SafeMath.sol
Verifying-ERC20.md		Verifying-ERC20.md
config.json		config.json