João Reis

Results 4 comments of João Reis

> From my scouring the internet it doesn't seem like this will be possible until someone dedicates the time to creating a recipe for pandas but i've seen one post...

Also I'd like to have another question answered if you don't mind... I could actually catch reentrancy in solidity 0.8.* versions, however it doesn't seem to work with transfer() and...

Sorry @hajduakos can you help me on this questions? I'm researching tools to verify smart contracts and this one seems promising and I would like to investigate it more :)...

Hello @hajduakos , Thank you for your clarification. About reentrancy i couldn't try in version 0.7, but I would say that it should be identical as 0.8, because there were...