Update dependency halmos to v0.2.4 #5461

renovate · 2025-01-25T01:43:04Z

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
halmos	`==0.2.3` -> `==0.2.4`

Release Notes

a16z/halmos (halmos)

`v0.2.4`

Compare Source

What's Changed

feat: mappings from bytecode to contract name by @daejunpark in https://github.com/a16z/halmos/pull/429

Bugfixes:

fix: add warnings when --width or --depth limits reached by @daejunpark in https://github.com/a16z/halmos/pull/433
fix: handle stack underflows in DUPn/SWAPn instructions by @0xkarmacoma in https://github.com/a16z/halmos/pull/439
fix: avoid raising internal python error on large memory access by @0xkarmacoma in https://github.com/a16z/halmos/pull/442
fix: check infeasible errors by @daejunpark in https://github.com/a16z/halmos/pull/445

New Contributors

@zbraiterman made their first contribution in https://github.com/a16z/halmos/pull/435

Full Changelog: a16z/halmos@v0.2.3...v0.2.4

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

changeset-bot · 2025-01-25T01:43:08Z

⚠️ No Changeset found

Latest commit: 68231fc

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

socket-security · 2025-01-25T01:45:33Z

Updated dependencies detected. Learn more about Socket for GitHub ↗︎

Package	New capabilities	Transitives	Size	Publisher
pypi/[email protected] 🔁 pypi/[email protected]	None	`0`	1.04 MB	daejunpark, justin_gerard

View full report↗︎

* Update ReentrancyGuardTransient documentation (OpenZeppelin#5417) * Optimize `MerkleTree` for loops by using `uint256` iterators (OpenZeppelin#5415) Co-authored-by: Ernesto García <[email protected]> * Update `_revokeRole` documentation in AccessControl (OpenZeppelin#5321) Co-authored-by: Ernesto García <[email protected]> * Merge release-v5.2 branch (OpenZeppelin#5424) Signed-off-by: Hadrien Croubois <[email protected]> Co-authored-by: github-actions <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: Hadrien Croubois <[email protected]> Co-authored-by: Sam Bugs <[email protected]> Co-authored-by: Ernesto García <[email protected]> Co-authored-by: Arr00 <[email protected]> Co-authored-by: wizard <[email protected]> Co-authored-by: leopardracer <[email protected]> Co-authored-by: cairo <[email protected]> Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com> Co-authored-by: Francisco Giordano <[email protected]> Co-authored-by: Simka <[email protected]> Co-authored-by: Voronor <[email protected]> * Add a Calldata library with `emptyBytes` and `emptyString` functions (OpenZeppelin#5422) Co-authored-by: Ernesto García <[email protected]> * Update governor docs (OpenZeppelin#5420) * Add missing `Calldata`, `Bytes`, `CAIP2` and `CAIP10` API references (OpenZeppelin#5428) * Expose `_isTrustedByTarget` internally in ERC2771Forwarder (OpenZeppelin#5416) * Update LICENSE (OpenZeppelin#5434) * Refactor EnumerableSet.behavior.js for reuse in the community repo (OpenZeppelin#5441) * Replace `overriden` with `overridden` in GovernorCountingOverridable.sol (OpenZeppelin#5446) Co-authored-by: Arr00 <[email protected]> Co-authored-by: ernestognw <[email protected]> * Remove Unnecessary Initialisation of `_paused` (OpenZeppelin#5448) Co-authored-by: Ernesto García <[email protected]> * Fix Broken Docs References (OpenZeppelin#5436) * Update actions/upload-artifact action to v4 (OpenZeppelin#4826) * Remove unused `setBaseURI` tests (OpenZeppelin#5456) Co-authored-by: Hadrien Croubois <[email protected]> * Group typographical errors (OpenZeppelin#5443) Co-authored-by: futreall <[email protected]> Co-authored-by: Marco <[email protected]> Co-authored-by: Dmitry <[email protected]> Co-authored-by: Dmytrol <[email protected]> Co-authored-by: Noisy <[email protected]> Co-authored-by: Danil <[email protected]> Co-authored-by: CrazyFrog <[email protected]> Co-authored-by: Bryer <[email protected]> Co-authored-by: Viktor Pavlik <[email protected]> Co-authored-by: Skylar Ray <[email protected]> Co-authored-by: Brawn <[email protected]> Co-authored-by: fuder.eth <[email protected]> Co-authored-by: FT <[email protected]> Co-authored-by: Ann Wagner <[email protected]> Co-authored-by: Hopium <[email protected]> Co-authored-by: Arr00 <[email protected]> Co-authored-by: Hadrien Croubois <[email protected]> * Fix interface docs ordering and add missing interface (OpenZeppelin#5460) * Add a governor extension that implements a proposal guardian (OpenZeppelin#5303) Co-authored-by: Arr00 <[email protected]> Co-authored-by: Ernesto García <[email protected]> * Fix the CLI output of formal verification runs (OpenZeppelin#5445) * Update dependency halmos to v0.2.4 (OpenZeppelin#5461) Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> * Use stable foundry version in CI (OpenZeppelin#5465) * Add stake management function to ERC4337Utils (OpenZeppelin#5471) * Add forum badge correct link (OpenZeppelin#5481) * SafeERC20.trySafeTransfer{,from} (OpenZeppelin#5483) * Improve promise rejections handling in hardhat/async-test-sanity.js (OpenZeppelin#5429) Co-authored-by: Arr00 <[email protected]> * Use slither v0.10.4 (OpenZeppelin#5488) * Add ERC6909 Implementation along with extensions (OpenZeppelin#5394) Co-authored-by: Hadrien Croubois <[email protected]> Co-authored-by: Ernesto García <[email protected]> * Rename ERC4337Utils ENTRYPOINT to ENTRYPOINT_V07 (OpenZeppelin#5472) Co-authored-by: Hadrien Croubois <[email protected]> * Add Bytes32x2Set (OpenZeppelin#5442) Co-authored-by: Ernesto García <[email protected]> * Add clear function to Enumerable{Set,Map} (OpenZeppelin#5486) Co-authored-by: Hadrien Croubois <[email protected]> * Make set-max-old-space-size.sh compatible with sh (OpenZeppelin#5493) Co-authored-by: Hadrien Croubois <[email protected]> * Update FUNDING.json (OpenZeppelin#5496) Co-authored-by: Hadrien Croubois <[email protected]> * Update FUNDING.json hierarchy (OpenZeppelin#5500) Co-authored-by: Hadrien Croubois <[email protected]> * Test behavior of SignatureChecker against the identity precompile (0x4) (OpenZeppelin#5501) * Treat code-size warnings as errors (OpenZeppelin#5101) Co-authored-by: Hadrien Croubois <[email protected]> * Make `TimelockController` receive function virtual (OpenZeppelin#5506) Co-authored-by: Arr00 <[email protected]> Co-authored-by: Hadrien Croubois <[email protected]> --------- Signed-off-by: Hadrien Croubois <[email protected]> Co-authored-by: Ernesto García <[email protected]> Co-authored-by: Michael <[email protected]> Co-authored-by: Maks <[email protected]> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: Hadrien Croubois <[email protected]> Co-authored-by: Sam Bugs <[email protected]> Co-authored-by: Arr00 <[email protected]> Co-authored-by: wizard <[email protected]> Co-authored-by: leopardracer <[email protected]> Co-authored-by: cairo <[email protected]> Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com> Co-authored-by: Francisco Giordano <[email protected]> Co-authored-by: Simka <[email protected]> Co-authored-by: Voronor <[email protected]> Co-authored-by: Eric Lau <[email protected]> Co-authored-by: planetBoy <[email protected]> Co-authored-by: sudo rm -rf --no-preserve-root / <[email protected]> Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: Renan Souza <[email protected]> Co-authored-by: futreall <[email protected]> Co-authored-by: Marco <[email protected]> Co-authored-by: Dmitry <[email protected]> Co-authored-by: Dmytrol <[email protected]> Co-authored-by: Noisy <[email protected]> Co-authored-by: Danil <[email protected]> Co-authored-by: CrazyFrog <[email protected]> Co-authored-by: Bryer <[email protected]> Co-authored-by: Viktor Pavlik <[email protected]> Co-authored-by: Skylar Ray <[email protected]> Co-authored-by: Brawn <[email protected]> Co-authored-by: fuder.eth <[email protected]> Co-authored-by: FT <[email protected]> Co-authored-by: Ann Wagner <[email protected]> Co-authored-by: Hopium <[email protected]> Co-authored-by: Yan Victor SN <[email protected]> Co-authored-by: Ursula <[email protected]> Co-authored-by: Michalis Kargakis <[email protected]> Co-authored-by: luca <[email protected]> Co-authored-by: Jonas <[email protected]> Co-authored-by: Joseph Delong <[email protected]>

Update dependency halmos to v0.2.4

68231fc

renovate bot added the ignore-changeset label Jan 25, 2025

Amxx enabled auto-merge (squash) January 27, 2025 09:02

Amxx approved these changes Jan 27, 2025

View reviewed changes

Amxx merged commit 0d0e4aa into master Jan 27, 2025
22 checks passed

Amxx deleted the renovate/halmos-0.x branch January 27, 2025 09:02

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Update dependency halmos to v0.2.4 #5461

Update dependency halmos to v0.2.4 #5461

Uh oh!

renovate bot commented Jan 25, 2025

Uh oh!

changeset-bot bot commented Jan 25, 2025

Uh oh!

socket-security bot commented Jan 25, 2025

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Update dependency halmos to v0.2.4 #5461

Update dependency halmos to v0.2.4 #5461

Uh oh!

Conversation

renovate bot commented Jan 25, 2025

Release Notes

v0.2.4

What's Changed

New Contributors

Configuration

Uh oh!

changeset-bot bot commented Jan 25, 2025

⚠️ No Changeset found

Uh oh!

socket-security bot commented Jan 25, 2025

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

`v0.2.4`