GitBross Acasă Explorează Ajutor
Înregistrare Autentificare
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Bifurcare 0
Fisiere Probleme 0 Trageți solicitările 0 Wiki
Arbore: aaa5a5abab
Ramuri Etichete
openzeppelin-co...
/
certora
/
specs
Hadrien Croubois aaa5a5abab Merge branch 'master' into fv/Governor 2 ani în urmă
..
helpers aaa5a5abab Merge branch 'master' into fv/Governor 2 ani în urmă
methods e9779f8ef2 Merge remote-tracking branch 'upstream' into fv/Governor 2 ani în urmă
AccessControl.spec dcba9f995f Add AccessControlDefaultAdminRules FV (#4180) 2 ani în urmă
AccessControlDefaultAdminRules.spec a1d57bac50 Improve FV specifications for AccessControlDefaultAdminRules (#4223) 2 ani în urmă
DoubleEndedQueue.spec a7ee03565b Move certora helpers to a dedicated folder (#4211) 2 ani în urmă
ERC20.spec a7ee03565b Move certora helpers to a dedicated folder (#4211) 2 ani în urmă
ERC20FlashMint.spec a7ee03565b Move certora helpers to a dedicated folder (#4211) 2 ani în urmă
ERC20Wrapper.spec a7ee03565b Move certora helpers to a dedicated folder (#4211) 2 ani în urmă
ERC721.spec a7ee03565b Move certora helpers to a dedicated folder (#4211) 2 ani în urmă
EnumerableMap.spec a7ee03565b Move certora helpers to a dedicated folder (#4211) 2 ani în urmă
EnumerableSet.spec a7ee03565b Move certora helpers to a dedicated folder (#4211) 2 ani în urmă
GovernorBaseRules.spec 75d6f5a42c move Governor.helpers.spec to helpers folder 2 ani în urmă
GovernorChanges.spec 75d6f5a42c move Governor.helpers.spec to helpers folder 2 ani în urmă
GovernorFunctions.spec 75d6f5a42c move Governor.helpers.spec to helpers folder 2 ani în urmă
GovernorInvariants.spec 75d6f5a42c move Governor.helpers.spec to helpers folder 2 ani în urmă
GovernorPreventLateQuorum.spec 75d6f5a42c move Governor.helpers.spec to helpers folder 2 ani în urmă
GovernorStates.spec 6d539e6c31 comment out rules that timeout 2 ani în urmă
Initializable.spec a7ee03565b Move certora helpers to a dedicated folder (#4211) 2 ani în urmă
Ownable.spec a7ee03565b Move certora helpers to a dedicated folder (#4211) 2 ani în urmă
Ownable2Step.spec a7ee03565b Move certora helpers to a dedicated folder (#4211) 2 ani în urmă
Pausable.spec a7ee03565b Move certora helpers to a dedicated folder (#4211) 2 ani în urmă
TimelockController.spec f21451facc Merge branch 'master' into fv/Governor 2 ani în urmă