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

[WIP] Use symbolic-pr_FVyper branch of kevm #61

Closed nrryuya closed 5 years ago

nrryuya commented 5 years ago

We need to change specs like this to use the latest KEVM. https://github.com/runtimeverification/verified-smart-contracts/pull/99