sol_Bo8des9o/openzeppelin-contracts

Autor	SHA1 Permisiunea de a trimite mesaje. Dacă este dezactivată, utilizatorul nu va putea trimite nici un fel de mesaj	Data
Hadrien Croubois	10022da83d Disable automatic formal verification workflow on push (#4208)	2 ani în urmă
Hadrien Croubois	44d6053b43 Only run FV on new or updated specs (#4195)	2 ani în urmă
Francisco Giordano	e69248e551 Limit concurrency of formal-verification runs	2 ani în urmă
Francisco	6794c9460b Run formal verification when label is added (#4112)	2 ani în urmă
Hadrien Croubois	4fb6833e32 Formal verification using Certora (#4084)	2 ani în urmă