Ernesto García b27cd83eba Remove hardhat-foundry and check harnesses compilation in CI (#4832) ...

Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>

2024-01-17 20:32:32 +01:00

..

helpers

Formal verification of AccessManager (#4611)

2023-10-04 21:17:15 +02:00

methods

Formal verification of AccessManager (#4611)

2023-10-04 21:17:15 +02:00

AccessControl.spec

…

AccessControlDefaultAdminRules.spec

…

AccessManaged.spec

Formal verification of AccessManager (#4611)

2023-10-04 21:17:15 +02:00

AccessManager.spec

Formal verification of AccessManager (#4611)

2023-10-04 21:17:15 +02:00

DoubleEndedQueue.spec

…

EnumerableMap.spec

Remove hardhat-foundry and check harnesses compilation in CI (#4832)

2024-01-17 20:32:32 +01:00

EnumerableSet.spec

Remove hardhat-foundry and check harnesses compilation in CI (#4832)

2024-01-17 20:32:32 +01:00

ERC20.spec

Remove non-standard increaseAllowance and decreaseAllowance from ERC20 (#4585)

2023-09-12 11:59:48 -03:00

ERC20FlashMint.spec

Use ERC-XXX syntax (#4730)

2023-11-22 23:18:04 -06:00

ERC20Wrapper.spec

…

ERC721.spec

…

Initializable.spec

…

Nonces.spec

Nonces FV (#4528)

2023-10-12 16:30:02 +02:00

Ownable2Step.spec

…

Ownable.spec

…

Pausable.spec

…

TimelockController.spec

…