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

Do kprove on circleci #54

Closed yudetamago closed 5 years ago

yudetamago commented 5 years ago

42

These branches work properly

https://github.com/LayerXcom/verified-vyper-contracts/tree/erc20/dummy
https://github.com/LayerXcom/verified-vyper-contracts/tree/erc721/dummy
https://github.com/LayerXcom/verified-vyper-contracts/tree/test (the branch only for debugging CI)

yudetamago commented 5 years ago

:merge: