sol_Bo8des9o/openzeppelin-contracts

Autor	SHA1 Mensaxe	Data
Hadrien Croubois	60e3ffe6a3 Remove non-standard increaseAllowance and decreaseAllowance from ERC20 (#4585)	%!s(int64=2) %!d(string=hai) anos
Ernesto García	36bf1e46fa Migrate FV specs to CVL2 (#4527)	%!s(int64=2) %!d(string=hai) anos
Hadrien Croubois	a7ee03565b Move certora helpers to a dedicated folder (#4211)	%!s(int64=2) %!d(string=hai) anos
Hadrien Croubois	4fb6833e32 Formal verification using Certora (#4084)	%!s(int64=2) %!d(string=hai) anos