GitBross Inicio Explorar Axuda
Rexistro Iniciar sesión
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Rama: release-v4.9
Ramas Etiquetas
openzeppelin-co...
/
certora
/
harnesses
Ernesto García dcba9f995f Add AccessControlDefaultAdminRules FV (#4180) %!s(int64=2) %!d(string=hai) anos
..
AccessControlDefaultAdminRulesHarness.sol dcba9f995f Add AccessControlDefaultAdminRules FV (#4180) %!s(int64=2) %!d(string=hai) anos
AccessControlHarness.sol 4fb6833e32 Formal verification using Certora (#4084) %!s(int64=2) %!d(string=hai) anos
DoubleEndedQueueHarness.sol 661343f74c Add DoubleEndedQueue FV (#4147) %!s(int64=2) %!d(string=hai) anos
ERC20FlashMintHarness.sol 4fb6833e32 Formal verification using Certora (#4084) %!s(int64=2) %!d(string=hai) anos
ERC20PermitHarness.sol 3214f6c256 Add FV specification for ERC20Wrapper (#4100) %!s(int64=2) %!d(string=hai) anos
ERC20WrapperHarness.sol 3214f6c256 Add FV specification for ERC20Wrapper (#4100) %!s(int64=2) %!d(string=hai) anos
ERC3156FlashBorrowerHarness.sol 4fb6833e32 Formal verification using Certora (#4084) %!s(int64=2) %!d(string=hai) anos
ERC721Harness.sol 86f6eb2c9c Add FV specification for ERC721 (#4104) %!s(int64=2) %!d(string=hai) anos
ERC721ReceiverHarness.sol 86f6eb2c9c Add FV specification for ERC721 (#4104) %!s(int64=2) %!d(string=hai) anos
EnumerableMapHarness.sol 0a2a33be30 Add formal verification specs for EnumerableSet & EnumerableMap (#4167) %!s(int64=2) %!d(string=hai) anos
EnumerableSetHarness.sol 0a2a33be30 Add formal verification specs for EnumerableSet & EnumerableMap (#4167) %!s(int64=2) %!d(string=hai) anos
InitializableHarness.sol 5f7f660c6e Add FV specs for Initializable (#4095) %!s(int64=2) %!d(string=hai) anos
Ownable2StepHarness.sol aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) %!s(int64=2) %!d(string=hai) anos
OwnableHarness.sol aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) %!s(int64=2) %!d(string=hai) anos
PausableHarness.sol 1a60b061d5 Add Pausable FV (#4117) %!s(int64=2) %!d(string=hai) anos
TimelockControllerHarness.sol 75ef7b8b27 Add FV specs for TimelockController (#4098) %!s(int64=2) %!d(string=hai) anos