|
|
ab2604ac5b
|
Add reentrancy test cases for TimelockController (#4200)
Co-authored-by: Francisco <fg@frang.io>
|
2023-05-02 11:36:56 +02:00 |
|
|
|
6ff415de6b
|
Downgrade Node for Slither (#4202)
|
2023-04-28 17:15:15 -03:00 |
|
|
|
d23f818a59
|
Fix AccessControlDefaultAdminRules admin consistency (#4177)
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2023-04-28 15:09:58 +02:00 |
|
|
|
44d6053b43
|
Only run FV on new or updated specs (#4195)
|
2023-04-28 14:01:41 +02:00 |
|
|
|
f959d7e4e6
|
Fix release note in IERC1967 (#4183)
|
2023-04-25 12:57:50 -03:00 |
|
|
|
8f14d52b73
|
Fix Checkpoints fuzz overflow (#4184)
Co-authored-by: Francisco <fg@frang.io>
|
2023-04-25 12:57:16 -03:00 |
|
|
|
1a079d258b
|
Improve Address tests (#4191)
|
2023-04-25 08:31:01 -03:00 |
|
|
|
6aac66d065
|
Merge release-v4.8 (#4188)
Signed-off-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Benjamin <benjaminxh+github@gmail.com>
Co-authored-by: Owen <omurovec@yahoo.com>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: JulissaDantes <julissadcj@gmail.com>
Co-authored-by: Ernesto García <ernestognw@gmail.com>
Co-authored-by: Yamen Merhi <yamennmerhi@gmail.com>
Co-authored-by: Pascal Marco Caversaccio <pcaversaccio@users.noreply.github.com>
Co-authored-by: alpharush <0xalpharush@protonmail.com>
Co-authored-by: Paul Razvan Berg <paul.razvan.berg@gmail.com>
|
2023-04-24 09:18:27 -03:00 |
|
|
|
91df66c4a9
|
Implement suggestions from audit of 4.9 (#4176)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2023-04-21 08:35:07 -03:00 |
|
|
|
8d633cb7d1
|
Merge pull request from GHSA-93hq-5wgc-jc82
Co-authored-by: Francisco <fg@frang.io>
|
2023-04-13 15:47:51 -03:00 |
|
|
|
3b117992e1
|
Improve docs for transparent proxy (#4181)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2023-04-13 11:04:04 -03:00 |
|
|
|
dd1265cb1d
|
Improve ERC4626 test coverage (#4134)
Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>
|
2023-04-12 17:33:50 -03:00 |
|
|
|
788d6a129a
|
Add fuzz tests for ShortString (#4175)
|
2023-04-12 17:09:30 +02:00 |
|
|
|
86f6eb2c9c
|
Add FV specification for ERC721 (#4104)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2023-04-12 00:29:36 -03:00 |
|
|
|
661343f74c
|
Add DoubleEndedQueue FV (#4147)
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2023-04-11 23:17:10 -03:00 |
|
|
|
473d0b6884
|
Add Codecov token
|
2023-04-11 20:36:58 -03:00 |
|
|
|
f2346b6749
|
Add fuzz tests for the Checkpoints library (#4146)
Co-authored-by: Francisco <fg@frang.io>
|
2023-04-11 11:21:53 +02:00 |
|
|
|
cf86fd9962
|
Merge changesets for transparency improvements (#4165)
|
2023-04-05 22:20:34 +02:00 |
|
|
|
31723ed608
|
Reenable skipped TransparentUpgradeableProxy test (#4161)
Co-authored-by: Francisco <fg@frang.io>
|
2023-04-05 18:47:18 +00:00 |
|
|
|
5523c1482b
|
Fix TransparentUpgradeableProxy's transparency (#4154)
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2023-04-05 16:57:08 +02:00 |
|
|
|
ead3bcaccb
|
Fix spurious CI check failures (#4160)
|
2023-04-04 23:05:39 -03:00 |
|
|
|
7e7060e00e
|
Update IERC3156FlashBorrower.sol (#4145)
|
2023-03-30 20:57:09 +02:00 |
|
|
|
ca822213f2
|
Make AccessControlDefaultAdminRules delay configurable (#4079)
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2023-03-26 14:23:13 -03:00 |
|
|
|
3f610ebc25
|
Fix typo in README (#4129)
|
2023-03-21 11:33:16 -03:00 |
|
|
|
1a60b061d5
|
Add Pausable FV (#4117)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2023-03-16 16:08:28 -03:00 |
|
|
|
4f4b6ab403
|
Update certora/README.md (#4114)
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-15 11:06:25 -03:00 |
|
|
|
1c8df659b9
|
Clarify Governor Bravo compatibility scope (#4090)
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-14 19:14:01 -03:00 |
|
|
|
75ef7b8b27
|
Add FV specs for TimelockController (#4098)
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-14 10:27:37 -03:00 |
|
|
|
ea2d5ad2e7
|
Update lockfile (#4080)
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
|
2023-03-13 21:09:01 -03:00 |
|
|
|
e69248e551
|
Limit concurrency of formal-verification runs
|
2023-03-13 21:05:22 -03:00 |
|
|
|
e739144cb0
|
Update dependency certora-cli to v3.6.4 (#4110)
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-13 18:31:24 -03:00 |
|
|
|
6794c9460b
|
Run formal verification when label is added (#4112)
|
2023-03-13 12:45:58 -03:00 |
|
|
|
f8e3c375d1
|
Credit YieldBox for virtual offset (#4103)
|
2023-03-09 17:55:52 -03:00 |
|
|
|
58a62916de
|
Bump and pin Forge Std submodule (#4102)
|
2023-03-09 17:41:08 +00:00 |
|
|
|
3214f6c256
|
Add FV specification for ERC20Wrapper (#4100)
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-08 22:12:37 +00:00 |
|
|
|
5f7f660c6e
|
Add FV specs for Initializable (#4095)
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-08 22:17:35 +01:00 |
|
|
|
b952a82d29
|
Throw error when requested specs are not found (#4101)
|
2023-03-08 22:16:37 +01:00 |
|
|
|
a55013e742
|
Add effect checks on the accesscontrol specs (#4099)
|
2023-03-08 19:31:46 +01:00 |
|
|
|
aaad1f4a4f
|
Add FV specs for Ownable and Ownable2Steps (#4094)
Co-authored-by: Santiago Palladino <spalladino@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-08 19:30:07 +01:00 |
|
|
|
4fb6833e32
|
Formal verification using Certora (#4084)
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2023-03-06 21:31:48 +00:00 |
|
|
|
de520fe25a
|
Add byteLengthWithFallback to ShortStrings (#4089)
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-06 20:44:58 +00:00 |
|
|
|
7f028d6959
|
Fix empty short string encoding (#4088)
Co-authored-by: Francisco <fg@frang.io>
|
2023-03-03 22:45:52 +01:00 |
|
|
|
eedca5d873
|
Merge release-v4.8 branch
|
2023-03-02 21:13:25 -03:00 |
|
|
|
e58c6d8ff4
|
Fix linter error
|
2023-03-02 19:47:41 -03:00 |
|
|
|
8ba26f388f
|
Merge pull request from GHSA-878m-3g6q-594q
* Test batch minting of 1
* Fix balance tracking
* fix lint
* add changeset
* rename UNSAFE -> unsafe
* fix docs
* fix changeset
* grammar
* add explanation of preserved invariant
* add fuzz tests
* rename variable
* improve property definition
* add burn
* add test ownership multiple batches
* refactor fuzz tests
* change ownership test for better probability
* typo
* reorder comment
* update changelog notes
* edit changelog
* lint
* Update CHANGELOG.md
---------
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2023-03-02 19:41:28 -03:00 |
|
|
|
0ebc6e3529
|
Fix grammar in docs (#4085)
|
2023-03-02 10:40:36 +01:00 |
|
|
|
e1a77ab15f
|
Fix an upgrade replay bug in Governor.propose (#4082)
|
2023-03-01 15:35:15 -03:00 |
|
|
|
dad73159df
|
Add AccessControlDefaultAdminRules (#4009)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
|
2023-02-24 21:48:08 +00:00 |
|
|
|
2c69f9f9f5
|
Fix comment on ERC777._beforeTokenTransfer (#3982)
|
2023-02-24 18:31:54 -03:00 |
|
|
|
3f3774c5df
|
Improve ERC1363 documentation (#3993)
Co-authored-by: Francisco <fg@frang.io>
|
2023-02-24 18:28:37 -03:00 |
|
