GitBross Эхлэл Бүгдийг харах Тусламж
Бүртгүүлэх Нэвтрэх
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Салаа 0
Файлууд Асуудлууд 0 Хуулах хүсэлтүүд 0 Мэдлэгийн сан
Салаа: audit/2023-03
Салаанууд Тагууд
openzeppelin-co...
/
certora
/
specs
/
methods
Hadrien Croubois 75ef7b8b27 Add FV specs for TimelockController (#4098) 2 жил өмнө
..
IAccessControl.spec 75ef7b8b27 Add FV specs for TimelockController (#4098) 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 жил өмнө
IOwnable.spec aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) 2 жил өмнө
IOwnable2Step.spec aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) 2 жил өмнө