• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

safe-global / safe-contracts / 5423460302
94%
main: 94%

Build:
Build:
LAST BUILD BRANCH: feature-719-rename-repository
DEFAULT BRANCH: main
Ran 30 Jun 2023 01:32PM UTC
Jobs 2
Files 39
Run time 1s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

pending completion
5423460302

push

github

web-flow
Feature: Mark assembly blocks as memory-safe (#545)

* add setup and rules about modules

* fix run script

* use solc7.6 for fv

* Mark assembly blocks as memory-safe

* use solidity 0.8.19 for github action benchmark

* Update makefile

* fix the harness patch

* properties doc skeleton

* properties notes

* use 10m optimizer runs

* Write calldata/return data to the memory allocated via the free memory pointer

* memory-safe simulateAndRevert

* Update CLA github action to v2.3.0

* add certora workflow

* Fix changelog mention of createChainSpecificProxyWithNonce

* fix script path

* use cvl2

* Remove gasleft in setupModules, add erc4337 compatibility test

* Fix typechecking in test files (#573)

* verify that guard can only be updated through setGuard

* Verify functions that may change the fallback handler address (#566)

* Add an invariant for singleton address (#565)

* Add an optimistic assumption about DELEGATECALL, update nonce monotonicity rule (#574)

* Pump version to 1.4.1 (#579)

* Formal verification: native token balance updates (#582)

* Add an optimistic assumption about DELEGATECALL, update nonce monotonicity rule

* Add a rule for token balance

* Add more rules for native token balance transition

* Fix addresses for 1.4.1 in changelog (#590)

* Fix certora CI action

* Formal verification: No message can be signed through the core contract (#583)

* Add a rule for no signed messages

* Add a rule for no signed messages

* fix munged patch

---------

Co-authored-by: teryanarmen <61996358+teryanarmen@users.noreply.github.com>
Co-authored-by: Uxio Fuentefria <Uxio0@users.noreply.github.com>
Co-authored-by: Francisco Giordano <fg@frang.io>
Co-authored-by: Richard Meissner <rmeissner@users.noreply.github.com>
Co-authored-by: Mikhail Mikheev <mmv@pop-os.localdomain>

154 of 168 branches covered (91.67%)

Branch coverage included in aggregate %.

311 of 326 relevant lines covered (95.4%)

104.82 hits per line

Jobs
ID Job ID Ran Files Coverage
1 5423460302.1 30 Jun 2023 01:32PM UTC 0
92.71
GitHub Action Run
2 5423460302.2 30 Jun 2023 01:32PM UTC 0
94.13
GitHub Action Run
Source Files on build 5423460302
Detailed source file information is not available for this build.
  • Back to Repo
  • 56f49e61 on github
  • Prev Build on release/v1.5.0 (#5423452708)
  • Next Build on release/v1.5.0 (#5423486940)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc