Certora's Governance verification rules#2997
Merged
frangio merged 138 commits intoOpenZeppelin:masterfrom Certora:certora/governorDec 27, 2021
+1,310
Commits
Commits on Sep 25, 2021
- committed
- committed
- committed
- committed
Commits on Oct 7, 2021
- committed
Commits on Nov 2, 2021
Commits on Nov 3, 2021
Commits on Nov 4, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 7, 2021
- committed
Commits on Nov 8, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 9, 2021
Commits on Nov 10, 2021
Commits on Nov 11, 2021
Commits on Nov 12, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge branch 'certora/governor' of https://github.com/Certora/openzeppelin-contracts into certora/governor
committed
Commits on Nov 14, 2021
Commits on Nov 15, 2021
Commits on Nov 16, 2021
- committed
- committed
- committed
- committed
Commits on Nov 17, 2021
- committed
- committed
- committed
Commits on Nov 18, 2021
Commits on Nov 19, 2021
- committed
- committed
Commits on Nov 20, 2021
Commits on Nov 21, 2021
Commits on Nov 22, 2021
Commits on Nov 23, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 24, 2021
Commits on Nov 25, 2021
Commits on Nov 27, 2021
Commits on Nov 30, 2021
- committed
Commits on Dec 1, 2021
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 2, 2021
- committed
- committed
- committed
- committed