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

[built-ins] Specs of `clear` #64

Closed nrryuya closed 5 years ago

nrryuya commented 5 years ago

Just a PoC of verifying built-in functions. I tried to prove floor in a similar way with modification of KEVM about decimal type but it failed.