sol_Bo8des9o/openzeppelin-contracts

Autor	SHA1 Mensaxe	Data
Ernesto García	b27cd83eba Remove `hardhat-foundry` and check harnesses compilation in CI (#4832)	hai 1 ano
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	0a2a33be30 Add formal verification specs for EnumerableSet & EnumerableMap (#4167)	%!s(int64=2) %!d(string=hai) anos