Коммит түүх · sol_Bo8des9o/openzeppelin-contracts - GitBross

Эзэн	SHA1 Мессеж	Огноо
Hadrien Croubois	8b2ed0f570 Fix early reporting of FV prover's output (#4213)	2 жил өмнө
Hadrien Croubois	0a2a33be30 Add formal verification specs for EnumerableSet & EnumerableMap (#4167)	2 жил өмнө
Hadrien Croubois	44d6053b43 Only run FV on new or updated specs (#4195)	2 жил өмнө
Hadrien Croubois	3214f6c256 Add FV specification for ERC20Wrapper (#4100)	2 жил өмнө
Francisco	b952a82d29 Throw error when requested specs are not found (#4101)	2 жил өмнө
Hadrien Croubois	aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094)	2 жил өмнө
Hadrien Croubois	4fb6833e32 Formal verification using Certora (#4084)	2 жил өмнө