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] [BigInt] Add impl & tests #79

Open nrryuya opened 5 years ago

nrryuya commented 5 years ago

code size reduction

For code size reduction, I inlined these functions in the previous code,

following the changes made in #72 from the first commit to the third commit.

What's next?

Others