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

[K] Use CONSTANTINOPLE #63

Open nrryuya opened 5 years ago

nrryuya commented 5 years ago

For now, we are using BYZANTIUM in ERC721 spec because of this issue. We can update it if KEVM is updated.