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

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Closed garbervetsky closed 5 years ago

garbervetsky commented 5 years ago

Add new versions of AbiEncodePacket that allow Ref types as parameters. Also a accept bytes calldata as typestring

shuvendu-lahiri commented 5 years ago

test?