Update dependency halmos to v0.2.2

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
halmos	==0.2.0 -> ==0.2.2

---

Release Notes

a16z/halmos (halmos)

v0.2.2

Compare Source

What's Changed

• feat: display spinning progress by @​daejunpark in https://github.com/a16z/halmos/pull/417
• feat: embrace uv by @​karmacoma-eth in https://github.com/a16z/halmos/pull/422

New Contributors

• @​mdqst made their first contribution in https://github.com/a16z/halmos/pull/424

Full Changelog: a16z/halmos@v0.2.1...v0.2.2

v0.2.1

Compare Source

What's Changed

This release improves internal functionalities.

Improved handling of dynamic arrays:

• feat: consider various lengths for dynamic-sized parameters by @​daejunpark in https://github.com/a16z/halmos/pull/384
• feat: lazy concretization by @​daejunpark in https://github.com/a16z/halmos/pull/392

Improved keccak hash reasoning:

• feat: handle concrete keccaks concretely by @​karmacoma-eth in https://github.com/a16z/halmos/pull/391
• perf: improve hash injectivity constraints by @​daejunpark in https://github.com/a16z/halmos/pull/406
• feat: injectivity for truncated hashes by @​daejunpark in https://github.com/a16z/halmos/pull/408

Misc:

• feat: target Panic(k) for any k specified in --panic-error-codes by @​daejunpark in https://github.com/a16z/halmos/pull/382
• fix: exclude test contract from symbolic calls by @​daejunpark in https://github.com/a16z/halmos/pull/388
• feat: customize bash prompt in our docker images by @​karmacoma-eth in https://github.com/a16z/halmos/pull/407

New Contributors

• @​PatrickAlphaC made their first contribution in https://github.com/a16z/halmos/pull/378

Full Changelog: a16z/halmos@v0.2.0...v0.2.1

---

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]

⚠️ No Changeset found

Latest commit: 95ddb39

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]

New and removed dependencies detected. Learn more about Socket for GitHub ↗︎

Package	New capabilities	Transitives	Size	Publisher
pypi/[email protected]	eval, filesystem, shell, unsafe	0	989 kB	daejunpark, justin_gerard

🚮 Removed packages: pypi/[email protected]

View full report↗︎