sol_Bo8des9o/openzeppelin-contracts

Autor	SHA1 Mensaxe	Data
Ernesto García	36bf1e46fa Migrate FV specs to CVL2 (#4527)	%!s(int64=2) %!d(string=hai) anos
Hadrien Croubois	00cbf5a236 Update pragma to 0.8.20 (#4489)	%!s(int64=2) %!d(string=hai) anos
Ernesto García	7bb5592ad5 Bump minimum pragma version to `0.8.19` (#4288)	%!s(int64=2) %!d(string=hai) anos
Hadrien Croubois	3214f6c256 Add FV specification for ERC20Wrapper (#4100)	%!s(int64=2) %!d(string=hai) anos
Hadrien Croubois	4fb6833e32 Formal verification using Certora (#4084)	%!s(int64=2) %!d(string=hai) anos