Skip to content

Actions: safe-global/safe-smart-account

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
506 workflow runs
506 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Formal Verification for Safe v1.5 Audit (#901) certora #882: Commit 8677f32 pushed by mmv08
January 16, 2025 08:45 8m 36s main
main
January 16, 2025 08:45 8m 36s
Formal Verification for Safe v1.5 Audit certora #881: Pull request #901 opened by derek-certora
January 15, 2025 21:25 28s Certora:main
Certora:main
January 15, 2025 21:25 28s
Fix broken link (#900) certora #880: Commit 0372c8a pushed by mmv08
January 15, 2025 08:34 10m 57s main
main
January 15, 2025 08:34 10m 57s
Fix broken link certora #879: Pull request #900 opened by piguagua
January 15, 2025 08:18 25s piguagua:main
piguagua:main
January 15, 2025 08:18 25s
An attempt to fix flaky zksync test (#898) certora #878: Commit 70268e7 pushed by remedcu
January 14, 2025 09:25 9m 4s main
main
January 14, 2025 09:25 9m 4s
An attempt to fix flaky zksync test certora #877: Pull request #898 synchronize by mmv08
January 14, 2025 09:08 10m 12s zksync-failing-test
zksync-failing-test
January 14, 2025 09:08 10m 12s
An attempt to fix flaky zksync test certora #876: Pull request #898 synchronize by mmv08
January 10, 2025 15:02 6m 52s zksync-failing-test
zksync-failing-test
January 10, 2025 15:02 6m 52s
An attempt to fix flaky zksync test certora #875: Pull request #898 opened by mmv08
January 10, 2025 14:31 9m 25s zksync-failing-test
zksync-failing-test
January 10, 2025 14:31 9m 25s
[Certora Audit] G-08. Use shift right/left instead of division/multip… certora #874: Commit 7e760ef pushed by remedcu
January 10, 2025 12:08 11m 0s main
main
January 10, 2025 12:08 11m 0s
[Certora Audit] G-08. Use shift right/left instead of division/multiplication if possible certora #873: Pull request #895 synchronize by remedcu
January 10, 2025 11:47 12m 16s g08
g08
January 10, 2025 11:47 12m 16s
[Certora Audit] G07. Use a mask instead of shifting left and right (#… certora #872: Commit 5c8c6c0 pushed by remedcu
January 10, 2025 11:46 9m 4s main
main
January 10, 2025 11:46 9m 4s
[Certora Audit] G-10. ++i costs less gas compared to i++ or i+=1 (#897) certora #871: Commit 8137b68 pushed by remedcu
January 10, 2025 11:46 7m 29s main
main
January 10, 2025 11:46 7m 29s
[Certora Audit] G07. Use a mask instead of shifting left and right certora #870: Pull request #894 synchronize by remedcu
January 10, 2025 11:38 8m 31s g07
g07
January 10, 2025 11:38 8m 31s
[Certora Audit] G-08. Use shift right/left instead of division/multiplication if possible certora #869: Pull request #895 synchronize by remedcu
January 10, 2025 11:35 10m 24s g08
g08
January 10, 2025 11:35 10m 24s
[Certora Audit] G-10. ++i costs less gas compared to i++ or i+=1 certora #868: Pull request #897 synchronize by remedcu
January 10, 2025 11:33 10m 7s g10
g10
January 10, 2025 11:33 10m 7s
Enhance Safe.sol with ECDSA malleability warning (#877) certora #867: Commit 19e1d63 pushed by mmv08
January 9, 2025 17:23 7m 32s main
main
January 9, 2025 17:23 7m 32s
[Certora Audit] I-03. Inconsistency in formula for performCreate an… certora #866: Commit 8aa4551 pushed by remedcu
January 9, 2025 17:09 7m 9s main
main
January 9, 2025 17:09 7m 9s
[Certora Audit] G-09. Cache array length outside of loop (#896) certora #865: Commit b2c6087 pushed by mmv08
January 9, 2025 16:48 9m 14s main
main
January 9, 2025 16:48 9m 14s
[Certora Audit] G-06. `ExtensibleFallbackHandler._supportsInterface()… certora #864: Commit e35793d pushed by mmv08
January 9, 2025 16:23 10m 24s main
main
January 9, 2025 16:23 10m 24s
[Certora Audit] G-05. Use iszero instead of eq(*, 0) (#892) certora #863: Commit 0e061e2 pushed by mmv08
January 9, 2025 16:22 9m 14s main
main
January 9, 2025 16:22 9m 14s
[Certora Audit] G-04. ExtensibleBase._setSafeMethod(): storage acce… certora #862: Commit 25365fc pushed by mmv08
January 9, 2025 16:21 10m 46s main
main
January 9, 2025 16:21 10m 46s
[Certora Audit] G-03. ERC165Handler.setSupportedInterface(): Logic … certora #861: Commit 95f8cb9 pushed by mmv08
January 9, 2025 16:20 11m 56s main
main
January 9, 2025 16:20 11m 56s
[Certora Audit] G-01. OwnerManager.removeOwner(): 1 SLOAD can be sa… certora #860: Commit 183a588 pushed by mmv08
January 9, 2025 16:19 10m 36s main
main
January 9, 2025 16:19 10m 36s
[Certora Audit] I-03. Inconsistency in formula for performCreate and performCreate2 certora #859: Pull request #887 synchronize by mmv08
January 9, 2025 16:18 7m 10s i03
i03
January 9, 2025 16:18 7m 10s
[Certora Audit] I-02. Some comments say keccak instead of `keccak25… certora #858: Commit a192574 pushed by remedcu
January 9, 2025 16:08 6m 12s main
main
January 9, 2025 16:08 6m 12s