Skip to content

Actions: bgd-labs/aave-v3-origin

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-basic.yml
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed vm.assume for user address for the Pool Deficit tests certora #55: Pull request #52 opened by TepNik
February 24, 2025 15:01 5m 46s test/fixed-pool-deficit-assume-user
test/fixed-pool-deficit-assume-user
February 24, 2025 15:01 5m 46s
Merge pull request #87 from bgd-labs/v3.3.0 certora #54: Commit 5431379 pushed by brotherlymite
February 24, 2025 10:57 6m 43s main
main
February 24, 2025 10:57 6m 43s
chore: bump solidity utils (#102) certora #53: Commit 083bd38 pushed by brotherlymite
February 17, 2025 07:57 14m 52s main
main
February 17, 2025 07:57 14m 52s
chore: sonic diffs certora #52: Pull request #51 opened by brotherlymite
February 15, 2025 17:18 16m 40s chore/sonic-diffs
chore/sonic-diffs
February 15, 2025 17:18 16m 40s
fix: initialize funds admin on collector (#100) certora #51: Commit 3203156 pushed by brotherlymite
February 12, 2025 11:49 14m 56s main
main
February 12, 2025 11:49 14m 56s
feat: Collector Upgrade. (#82) (#84) certora #50: Commit 551ad6c pushed by sakulstra
February 10, 2025 17:40 12m 59s main
main
February 10, 2025 17:40 12m 59s
chore: update dependencies (#98) certora #49: Commit ae2d19f pushed by sakulstra
January 30, 2025 14:06 15m 14s main
main
January 30, 2025 14:06 15m 14s
feat: upgrade factory (#95) certora #48: Commit 7d706f0 pushed by sakulstra
January 30, 2025 08:35 17m 29s main
main
January 30, 2025 08:35 17m 29s
chore: linea diffs certora #47: Pull request #48 synchronize by brotherlymite
January 17, 2025 11:17 15m 41s chore/linea-diffs
chore/linea-diffs
January 17, 2025 11:17 15m 41s
chore: linea diffs certora #46: Pull request #48 synchronize by brotherlymite
January 17, 2025 11:15 5m 20s chore/linea-diffs
chore/linea-diffs
January 17, 2025 11:15 5m 20s
chore: linea diffs certora #45: Pull request #48 opened by brotherlymite
January 17, 2025 11:13 2m 31s chore/linea-diffs
chore/linea-diffs
January 17, 2025 11:13 2m 31s
fix: add _initGuard for proxy (#93) certora #44: Commit 1dab6e5 pushed by brotherlymite
January 7, 2025 12:40 15m 23s main
main
January 7, 2025 12:40 15m 23s
test: add more gas snapshots for relevant contracts (#92) certora #43: Commit 50a3206 pushed by sakulstra
December 16, 2024 10:28 18m 34s main
main
December 16, 2024 10:28 18m 34s
feat: add initial gas snapshots (#91) certora #42: Commit 3f70474 pushed by sakulstra
December 13, 2024 09:11 25m 53s main
main
December 13, 2024 09:11 25m 53s
docs: add mixbytes stata token v2 audit (#85) certora #41: Commit 9a6add7 pushed by sakulstra
December 10, 2024 08:14 13m 34s main
main
December 10, 2024 08:14 13m 34s
cleanup: remove obsolete remappings (#81) certora #40: Commit be37b99 pushed by sakulstra
November 27, 2024 13:50 15m 42s main
main
November 27, 2024 13:50 15m 42s
fix: update aave-cli to resolve eMode bug in json report (#79) certora #39: Commit 58e60a2 pushed by sakulstra
November 21, 2024 22:12 16m 46s main
main
November 21, 2024 22:12 16m 46s
fix: fixing fv failures after code update & upgrade ci (#76) (#77) certora #38: Commit 2edfb97 pushed by sakulstra
November 20, 2024 22:29 16m 6s main
main
November 20, 2024 22:29 16m 6s
Certora review certora #33: Pull request #40 by MichaelMorami
November 18, 2024 18:00 Failure Certora:certora-squashed
Certora:certora-squashed
November 18, 2024 18:00 Failure
feat: remove unused fee claimer, fix ci, improve stata interface (#73) certora #32: Commit 809dd8a pushed by sakulstra
November 18, 2024 13:56 1h 50m 27s main
main
November 18, 2024 13:56 1h 50m 27s
Merge pull request #71 from bgd-labs/fix/mixbytes certora #31: Commit 45ae3c0 pushed by sakulstra
November 13, 2024 11:46 1h 51m 38s main
main
November 13, 2024 11:46 1h 51m 38s
fix: mixbytes statav2 review certora #30: Pull request #36 synchronize by sakulstra
November 13, 2024 08:06 1h 50m 58s fix/mixbytes
fix/mixbytes
November 13, 2024 08:06 1h 50m 58s
feat: v3.2 pdp (protocol data provider) upgrade (#64) certora #28: Commit 077c99e pushed by brotherlymite
November 1, 2024 05:09 1h 7m 44s main
main
November 1, 2024 05:09 1h 7m 44s
fix: mixbytes statav2 review certora #27: Pull request #36 synchronize by sakulstra
October 28, 2024 10:50 31m 5s fix/mixbytes
fix/mixbytes
October 28, 2024 10:50 31m 5s
fix: mixbytes statav2 review certora #26: Pull request #36 synchronize by kyzia551
October 24, 2024 11:42 37m 19s fix/mixbytes
fix/mixbytes
October 24, 2024 11:42 37m 19s