Search results

Add Certora syntax highlighting

ignore-changeset

Status: Draft (not ready).

OpenZeppelin/openzeppelin-contractsnumber 5861

#5861 In OpenZeppelin/openzeppelin-contracts;

· james-toussaint opened on Aug 18, 2025

Update dependency certora-cli to v8

formal-verificationEnable FV run in a PR.Enable FV run in a PR.

ignore-changeset

Status: Open (in progress).

OpenZeppelin/openzeppelin-contractsnumber 5844

#5844 In OpenZeppelin/openzeppelin-contracts;

· renovate opened on Aug 11, 2025

Update dependency halmos to v0.3.3

ignore-changeset

Status: Open (in progress).

OpenZeppelin/openzeppelin-contractsnumber 5819

#5819 In OpenZeppelin/openzeppelin-contracts;

· renovate opened on Jul 26, 2025

Update OZ solhint custom rules [WIP]

automationTests and coverage running. Docsite publishing.Tests and coverage running. Docsite publishing.

CI

ignore-changeset

Status: Draft (not ready).

OpenZeppelin/openzeppelin-contractsnumber 5794

#5794 In OpenZeppelin/openzeppelin-contracts;

· gonzaotc opened on Jul 10, 2025

· 

5.5

Formal verification of Account (7702+7579)

Account Abstraction

formal-verificationEnable FV run in a PR.Enable FV run in a PR.

ignore-changeset

Status: Open (in progress).

OpenZeppelin/openzeppelin-contractsnumber 5785

#5785 In OpenZeppelin/openzeppelin-contracts;

· Amxx opened on Jul 6, 2025

· 

5.5

Group Typo Fixes 4

ignore-changeset

Status: Open (in progress).

OpenZeppelin/openzeppelin-contractsnumber 5750

#5750 In OpenZeppelin/openzeppelin-contracts;

· arr00 opened on Jun 16, 2025

Update lockfile

ignore-changeset

maintenance

Status: Open (in progress).

OpenZeppelin/openzeppelin-contractsnumber 5708

#5708 In OpenZeppelin/openzeppelin-contracts;

· renovate opened on Jun 1, 2025

Consider attacker redeem in ERC4626 inflation attack docs

ignore-changeset

Status: Open (in progress).

OpenZeppelin/openzeppelin-contractsnumber 5606

#5606 In OpenZeppelin/openzeppelin-contracts;

· ernestognw opened on Mar 26, 2025

Refactor and fix async operations in ERC2771Context.test.js

ignore-changeset

testsTest suite and helpers.Test suite and helpers.

Status: Open (in progress).

OpenZeppelin/openzeppelin-contractsnumber 5532

#5532 In OpenZeppelin/openzeppelin-contracts;

· Amxx opened on Feb 26, 2025

· 

5.5

Specify inflation note scenarios for ERC4626

ignore-changeset

Status: Draft (not ready).

OpenZeppelin/openzeppelin-contractsnumber 5247

#5247 In OpenZeppelin/openzeppelin-contracts;

· cairoeth opened on Oct 10, 2024

Fix grammar errors in utilities documentation

ignore-changeset

Status: Open (in progress).

OpenZeppelin/openzeppelin-contractsnumber 5105

#5105 In OpenZeppelin/openzeppelin-contracts;

· a1111198 opened on Jul 5, 2024

Add remaining fuzzing tests and remove pseudo-random fuzzing

ignore-changeset

Status: Draft (not ready).

OpenZeppelin/openzeppelin-contractsnumber 5095

#5095 In OpenZeppelin/openzeppelin-contracts;

· cairoeth opened on Jun 20, 2024