João Reis
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...