GitBross Home Explore Help
Register Sign In
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 44a8fed410
Branches Tags
openzeppelin-co...
/
certora
/
specs
Michael M 44a8fed410 cannot set if executed and canceled as rules (not working) 4 years ago
..
GovernorBase.spec 44a8fed410 cannot set if executed and canceled as rules (not working) 4 years ago
Privileged.spec 2c08f85744 start work on governor 4 years ago
sanity.spec cac49bfc2e sanity rule preparations 4 years ago