search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

Add new AbiEncodePacket for Ref types and basic support for bytes calldata #152

Closed garbervetsky closed 5 years ago

garbervetsky commented 5 years ago

I created a new PR for this commit. I will add test later

garbervetsky commented 5 years ago

I'm creating a new PR. Disregard this one