certora/scripts · patched/release-v4.5 · 俞永鹏 / openzeppelin-contracts-upgradeable

Add Certora's Governance verification rules (#2997) · 915ca181

Co-authored-by: Shelly Grossman <shelly@certora.com>
Co-authored-by: Aleksander Kryukov <58052996+RedLikeRosesss@users.noreply.github.com>
Co-authored-by: Michael M <91594326+MichaelMorami@users.noreply.github.com>
Co-authored-by: Aleksander Kryukov <firealexkryukov@gmail.com>

authored Dec 27, 2021

915ca181

Name	Last commit	Last update
..
Governor.sh		Loading commit data...
GovernorCountingSimple-counting.sh		Loading commit data...
WizardControlFirstPriority.sh		Loading commit data...
WizardFirstTry.sh		Loading commit data...
sanity.sh		Loading commit data...
verifyAll.sh		Loading commit data...