sol_Bo8des9o/openzeppelin-contracts

Autor	SHA1 Mensaxe	Data
Hadrien Croubois	10022da83d Disable automatic formal verification workflow on push (#4208)	%!s(int64=2) %!d(string=hai) anos
Hadrien Croubois	44d6053b43 Only run FV on new or updated specs (#4195)	%!s(int64=2) %!d(string=hai) anos
Francisco Giordano	e69248e551 Limit concurrency of formal-verification runs	%!s(int64=2) %!d(string=hai) anos
Francisco	6794c9460b Run formal verification when label is added (#4112)	%!s(int64=2) %!d(string=hai) anos
Hadrien Croubois	4fb6833e32 Formal verification using Certora (#4084)	%!s(int64=2) %!d(string=hai) anos