Hadrien Croubois d2b5d154d6 Merge remote-tracking branch 'upstream/master' into fv/Governor

2023-03-14 16:53:55 +01:00

..

methods

Merge remote-tracking branch 'upstream/master' into fv/Governor

2023-03-14 16:53:55 +01:00

AccessControl.spec

Add FV specs for TimelockController (#4098)

2023-03-14 10:27:37 -03:00

ERC20.spec

Formal verification using Certora (#4084)

2023-03-06 21:31:48 +00:00

ERC20FlashMint.spec

Formal verification using Certora (#4084)

2023-03-06 21:31:48 +00:00

ERC20Wrapper.spec

Add FV specification for ERC20Wrapper (#4100)

2023-03-08 22:12:37 +00:00

Governor.helpers.spec

fix governor changes spec

2023-03-14 10:02:10 +01:00

GovernorBaseRules.spec

filter functions that should revert

2023-03-14 15:51:22 +01:00

GovernorChanges.spec

fix governor changes spec

2023-03-14 10:02:10 +01:00

GovernorFunctions.spec

fix

2023-03-14 11:49:16 +01:00

GovernorInvariants.spec

update governor specs

2023-03-13 17:26:38 +01:00

GovernorStates.spec

try optimise GovernorStates

2023-03-14 10:23:49 +01:00

helpers.spec

update

2023-03-13 14:12:10 +01:00

Initializable.spec

Add FV specs for Initializable (#4095)

2023-03-08 22:17:35 +01:00

Ownable2Step.spec

Add FV specs for Ownable and Ownable2Steps (#4094)

2023-03-08 19:30:07 +01:00

Ownable.spec

Add FV specs for Ownable and Ownable2Steps (#4094)

2023-03-08 19:30:07 +01:00

TimelockController.spec

Add FV specs for TimelockController (#4098)

2023-03-14 10:27:37 -03:00