safe-global / safe-smart-account / 9269107319

Builds Branch Commit Type Ran Committer Via Coverage
9269107319 main Upgrade Certora CLI and Prover to v7.6.3 on the CI (#761) Changelog is available here: https://docs.certora.com/en/latest/docs/prover/changelog/prover_changelog.html#may-15-2024 I also fixed the `verifyNativeTokenRefund` ruleset not using the... push web-flow github
92.9
9224438831 main Create a separate interface for module guard (#758) Fixes #755 Summary of changes: - The PR creates a separate interface for Module guards instead of having a single `Guard` interface for both module transactions and Safe transactions. ... push web-flow github
92.9
9223136085 feature/module-tx-guard Minor fixes: Update addresses in Safe150Migration.sol, fix typo in test Pull #758 akshay-ap github
92.9
9176099442 feat/update-certora-prover fix specs by removing redundant options and keywords Pull #761 mmv08 github
94.41
9175736858 feat/update-certora-prover fix specs by removing redundant options and keywords Pull #761 mmv08 github
94.41
9175224989 feat/update-certora-prover upgrade certora cli/prover to 7.6.3 on the ci Pull #761 mmv08 github
94.41
9114737623 feature/module-tx-guard Remove unnecessary guard migration related code Pull #758 akshay-ap github
92.9
9114652622 feature/module-tx-guard Remove unnecessary guard migration related code Pull #758 akshay-ap github
92.9
9113999600 feature/module-tx-guard Update contracts/Safe.sol Co-authored-by: Nicholas Rodrigues Lordello <n@lordello.net> Pull #758 web-flow github
92.87
9111953429 feature/module-tx-guard Rename checkAfterExecution to checkAfterModuleExecution in IModuleGuard interface Pull #758 akshay-ap github
92.87
9111513937 feature/module-tx-guard Fix natspec in BaseGuard.sol Pull #758 akshay-ap github
93.0
9063613970 feature/module-tx-guard Make checkAfterExecution in BaseGuard abstract Pull #758 akshay-ap github
93.0
9061805362 feature/module-tx-guard Fix param name in DebugTransactionGuard, Fix lint issue Pull #758 akshay-ap github
93.0
9061104880 feature/module-tx-guard Fix event name in DebugTransactionGuard.sol Pull #758 web-flow github
93.0
8986803498 feature/module-tx-guard Merge 781a9d50e into 5feb0d08f Pull #758 web-flow github
93.0