search

LayerXcom / verified-vyper-contracts

FVyper: A collection of useful Vyper contracts developed with formal methods
Apache License 2.0
55 stars 15 forks source link

[ERC20] Remove deposit() and withdraw() #14

Closed nrryuya closed 5 years ago

nrryuya commented 5 years ago

They are not standard functions of ERC20.

https://github.com/LayerXcom/verified-vyper-contracts/blob/db349db70437c6f2b568ca166f9638208fa4fd62/erc20/ERC20.vy#L23