_msgSender() should be interpreted as msg.sender

mojtaba-eshghie / PreDi

PreDi: Semantic Solidity Predicate Difference Tool

https://pypi.org/project/predi/

MIT License

3 stars 0 forks source link

Open mojtaba-eshghie opened 2 months ago

mojtaba-eshghie commented 2 months ago

block.timestamp vs now

mojtaba-eshghie commented 2 weeks ago

block.timestamp vs now

This is implemented now.