ShippethEthereum releases, writing, news and network upgrades
Everything30Releases30Articles0

Versioned software: tagged releases from the projects on the source list.

Network upgradeNothing scheduled. Glamsterdam is on devnet 11

Ethereum releases

Showing only Certora Prover. Show everything
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and StellarCertora/CertoraProver on GitHub

30 items match, 14 of them low signal.

The stream

Newest first
Tue 25 August
8.19.0 (opens in a new tab) · Certora Prover
Tue 21 July
8.18.0 (opens in a new tab) · Certora Prover
Mon 29 June
8.17.0 (opens in a new tab) · Certora Prover
Mon 25 May
8.16.0 (opens in a new tab) · Certora Prover
Thu 14 May
8.15.0 (opens in a new tab) · Certora Prover
Sun 10 May
8.14.0 (opens in a new tab) · Certora Prover
Mon 27 April
8.13.0 (opens in a new tab) · Certora Prover
Fri 10 April
8.12.0 (opens in a new tab) · Certora Prover
Wed 18 March
8.11.0 (opens in a new tab) · Certora Prover
Thu 26 February
8.10.1 (opens in a new tab) · Certora Prover
Wed 18 February
8.10.0 (opens in a new tab) · Certora Prover
Thu 12 February
8.9.0 (opens in a new tab) · Certora Prover
Mon 2 February
8.8.0 (opens in a new tab) · Certora Prover
Wed 21 January
8.7.0 (opens in a new tab) · Certora Prover
Thu, 27 November 2025
8.6.0 (opens in a new tab) · Certora Prover
Thu, 20 November 2025
8.5.1 (opens in a new tab) · Certora Prover

Also collected

Per-package monorepo tags, releases that carry little weight, and publications that post several times a day
8.19.2 (opens in a new tab) · Certora Prover
8.19.1 (opens in a new tab) · Certora Prover
8.17.1 (opens in a new tab) · Certora Prover