ShippethEthereum releases, writing, news and network upgrades
Everything30Releases30Articles0
Network upgradeNothing scheduled. Glamsterdam is on devnet 11

Dev Tools: Ethereum releases, writing, news and network upgrades

Showing only Halmos. Show everything
A symbolic testing tool for EVM smart contractsa16z/halmos on GitHub

30 items match, 26 of them low signal.

Top of this filter

Items with a reason of their own, ranked by urgency, weight and how often the project publishes
HalmosSecurity & Verificationa16z/halmos·Breaking

v0.2.0 (opens in a new tab)

. Breaking changes. feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode by @daejunpark in · feat: empty initial network state by @daejunpark in · feat: reject multiple setup paths by @daejunpark in · perf: increase default assertion…Halmos release notes

The stream

Newest first
Fri, 20 June 2025
v0.3.0 (opens in a new tab) · Halmos
Wed, 25 September 2024
v0.2.0 (opens in a new tab) · Halmos Breaking
Tue, 25 July 2023
v0.1.0 (opens in a new tab) · Halmos
Fri, 10 March 2023
v0.0.5 (opens in a new tab) · Halmos

Also collected

Per-package monorepo tags, releases that carry little weight, and publications that post several times a day
v0.3.3 (opens in a new tab) · Halmos
v0.3.2 (opens in a new tab) · Halmos
v0.3.1 (opens in a new tab) · Halmos