GitBross ホーム エクスプローラ ヘルプ
登録 サインイン
sol_Bo8des9o
/
openzeppelin-contracts
1
0
フォーク 0
ファイル 課題 0 プルリクエスト 0 Wiki
ツリー: 9f39697a44
ブランチ タグ
openzeppelin-co...
/
certora
/
specs
/
methods
Hadrien Croubois 1f5982b5e3 starting to work on governor specifications 2 年 前
..
IERC20.spec 4fb6833e32 Formal verification using Certora (#4084) 2 年 前
IERC2612.spec 4fb6833e32 Formal verification using Certora (#4084) 2 年 前
IERC3156.spec 4fb6833e32 Formal verification using Certora (#4084) 2 年 前
IGovernor.spec 1f5982b5e3 starting to work on governor specifications 2 年 前
IOwnable.spec aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) 2 年 前
IOwnable2Step.spec aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) 2 年 前